Coverage-based test case generation
Coverage-based test case generation
| Typ: |
Seminarthema |
| Betreuer: |
David Faragó |
|
|
Testing remains the most important method to check the quality and reliability of software.
Formal model-based testing techniques can use model checkers to create counterexamples, which are then interpreted as test cases.
This journal article thoroughly introduces model checking and testing with model checkers in Sections 2.
In this seminar, Section 3 about coverage-based test case generation should be presented, and the corresponding parts of the discussion in Section 5.
