---

Table of contents :
Front Matter....Pages -
Security Testing and Formal Methods for High Levels Certification of Smart Cards....Pages 1-5
Verification, Testing and Statistics....Pages 6-9
Development of a Generic Voter under FoCal ....Pages 10-26
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing....Pages 27-42
Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization....Pages 43-57
Complementary Criteria for Testing Temporal Logic Properties....Pages 58-73
Could We Have Chosen a Better Loop Invariant or Method Contract?....Pages 74-89
Consistency, Independence and Consequences in UML and OCL Models....Pages 90-104
Dynamic Symbolic Execution for Testing Distributed Objects....Pages 105-120
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process....Pages 121-136
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables....Pages 137-152
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate....Pages 153-168
Back Matter....Pages -