File tree Expand file tree Collapse file tree 2 files changed +2
-3
lines changed Expand file tree Collapse file tree 2 files changed +2
-3
lines changed Original file line number Diff line number Diff line change @@ -114,7 +114,7 @@ Testing 3 (logic testing)
114114 workshopTopic :
115115 `Syntax-based testing and mutation testing` ,
116116 reading :
117- `- Amman & Offutt, ch 9`
117+ `- Amman & Offutt, ch 9` ,
118118
119119 assessmentDetails : 'Project phase 2 release' ,
120120 } ,
@@ -157,7 +157,7 @@ Testing 3 (logic testing)
157157 lectureTopic :
158158 'Formal methods' ,
159159 workshopTopic :
160- 'Work on Project' , <!-- 'Specifications in Alloy', -->
160+ 'Work on Project' ,
161161 reading :
162162 `TBA` ,
163163 assessmentDetails : 'Project phase 2 due' ,
Original file line number Diff line number Diff line change @@ -49,7 +49,6 @@ like to get an idea in advance of what will be covered.)
4949- Week 6
5050 - Lecture 6a -- logic-based testing {% resourceList "lect06a--logic", [ "pdf", "md"] %}
5151 - Lecture 6b -- graph-based testing {% resourceList "lect06b--graph", [ "pdf", "md"] %}
52-
5352- Week 7
5453 - Lecture 6a -- syntax-based testing {% resourceList "lect07a--syntax-BNF", [ "pdf", "md"] %}
5554 - Lecture 6b -- program-based mutation testing {% resourceList "lect07b--syntax-mutation", [ "pdf", "md"] %}
You can’t perform that action at this time.
0 commit comments