Abstract is missing.
- Checking Models, Proving Programs, and Testing SystemsMarie-Claude Gaudel. 1-13 [doi]
- Tests from ProofsPatrice Godefroid. 14 [doi]
- Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural InputsNazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti. 15-32 [doi]
- Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT SolverLina Bentakouk, Pascal Poizat, Fatiha Zaïdi. 33-50 [doi]
- Association of Under-Approximation Techniques for Generating Tests from ModelsPierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson. 51-68 [doi]
- Security Mutants for Property-Based TestingMatthias Büchler, Johan Oudinet, Alexander Pretschner. 69-77 [doi]
- The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program DebuggingOmar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. 78-83 [doi]
- Abstraction Based Automated Test Generation from Formal Tabular Requirements SpecificationsRenzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias. 84-101 [doi]
- Correct Code Containing ContainersClaire Dross, Jean-Christophe Filliåtre, Yannick Moy. 102-118 [doi]
- A Random Testing Approach Using Pushdown AutomataPierre-Cyrille Héam, Catherine Masson. 119-133 [doi]
- Incremental Learning-Based Testing for Reactive SystemsKarl Meinke, Muddassar A. Sindhu. 134-151 [doi]
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL ModelsMathias Soeken, Robert Wille, Rolf Drechsler. 152-170 [doi]
- State Coverage Metrics for Specification-Based Testing with Büchi AutomataLi Tan. 171-186 [doi]
- Lightweight Testing of Communication Networks with ::::e-Motions::::Javier Troya, José María Bautista, Fernando López-Romero, Antonio Vallecillo. 187-204 [doi]