| Testing, Debugging, and
Verification |
TDA566/DIT082, LP2, HT2011 |
Lecture Notes, November 25.
|
Topics
The topics of the lecture are
- Code-Based Test Generation
- Symbolic Execution
- From Symbolic Execution to Test Case
- Code Coverage
- Combining Code- and Specification-Based Test Generation
- Åke Liljenberg from the Volvo Group talks about practices at Volvo
in software development in general and testing in particular
Slides and Handouts
|
|
|
Home
| Course
| Schedule
| Exam
| Exercises
| Labs
| Evaluation
| Tools
| Links
|
W. Ahrendt,
V. Klebanov,
Nov 26, 2011
|