Black-box testing of grey-box behavior | p. 1 |
On checking whether a predicate definitely holds | p. 15 |
Using a software testing technique to improve theorem proving | p. 30 |
Auto-generating test sequences using model checkers : a case study | p. 42 |
Mutually enhancing test generation and specification inference | p. 60 |
JMLAutoTest : a novel automated testing framework based on JML and JUnit | p. 70 |
Compositional testing with IOCO | p. 86 |
Defining observation objectives for reactive and distributed systems | p. 101 |
Time-optimal real-time test case generation using UPPAAL | p. 114 |
Test cases generation for nondeterministic real-time systems | p. 131 |
Property oriented test case generation | p. 147 |
Computing unique input/output sequences using genetic algorithms | p. 164 |
Automatic generation of test purposes for testing distributed systems | p. 178 |
Interaction testing in an embedded system using hardware fault injection and program mutation | p. 192 |
Automatic conformance testing of internet applications | p. 205 |
A use case driven testing process : towards a formal approach based on UML collaboration diagrams | p. 223 |
VISWAS and on diagnosability with IEEE Std P1522 and UML2.0 testing profile | p. 236 |
Towards a tool environment for model-based testing with AsmL | p. 252 |
Author index | p. 267 |
Table of Contents provided by Blackwell. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.