| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Case Study in Matching Test and Proof Coverage
|
Ledru, Y.
|
|
2007
|
190 |
2 |
p. 73-84
12 p.
|
artikel
|
| 2 |
A Global Algorithm for Model-Based Test Suite Generation
|
Hessel, Anders
|
|
2007
|
190 |
2 |
p. 47-59
13 p.
|
artikel
|
| 3 |
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver
|
Ouimet, Martin
|
|
2007
|
190 |
2 |
p. 85-97
13 p.
|
artikel
|
| 4 |
Can a Model Checker Generate Tests for Non-Deterministic Systems?
|
Boroday, Sergiy
|
|
2007
|
190 |
2 |
p. 3-19
17 p.
|
artikel
|
| 5 |
Generating Scenarios by Multi-Object Checking
|
Kollmann, Maik
|
|
2007
|
190 |
2 |
p. 61-72
12 p.
|
artikel
|
| 6 |
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
|
Fraser, Gordon
|
|
2007
|
190 |
2 |
p. 33-46
14 p.
|
artikel
|
| 7 |
Measuring a Java Test Suite Coverage Using JML Specifications
|
Dadeau, F.
|
|
2007
|
190 |
2 |
p. 21-32
12 p.
|
artikel
|
| 8 |
Preface
|
Finkbeiner, Bernd
|
|
2007
|
190 |
2 |
p. 1-
1 p.
|
artikel
|
| 9 |
Testing Planning Domains (without Model Checkers)
|
Raimondi, Franco
|
|
2007
|
190 |
2 |
p. 113-125
13 p.
|
artikel
|
| 10 |
Towards the Integration of Visual and Formal Models for GUI Testing
|
Paiva, Ana C.R.
|
|
2007
|
190 |
2 |
p. 99-111
13 p.
|
artikel
|
Tijdschrift beschrijving