|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Design Phase Directed Formal Verification Process |
John A. Keane |
1999 |
8 | 4 |
p. 255-269 15 p. |
artikel |
|
| 2 | An Experience in Testing an Object-Oriented Satellite Control System |
Ana Maria Ambrosio |
1999 |
8 | 4 |
p. 271-283 13 p. |
artikel |
|
| 3 | ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems |
Eliane Martins |
1999 |
8 | 4 |
p. 303-320 18 p. |
artikel |
|
| 4 | Guest Editorial |
Anna Liu |
1999 |
8 | 4 |
p. 239-240 2 p. |
artikel |
|
| 5 | Mutation Testing Applied to Estelle Specifications |
Simone do Rocio Senger de Souza |
1999 |
8 | 4 |
p. 285-301 17 p. |
artikel |
|
| 6 | On Verifying Distributed Multithreaded Java Programs |
Jessica Chen |
1999 |
8 | 4 |
p. 321-341 21 p. |
artikel |
|
| 7 | χSuds-SDL: A Tool for Testing Software Architecture Specifications |
J. Jenny Li |
1999 |
8 | 4 |
p. 241-253 13 p. |
artikel |
7 gevonden resultaten