Abstract is missing.
- Abstraction Refinement for the Analysis of Software Product LinesFerruccio Damiani, Reiner Hähnle, Michael Lienhardt. 3-20 [doi]
- Hybrid Information Flow Analysis for Real-World C CodeGergö Barany, Julien Signoles. 23-40 [doi]
- Symbolic Execution of Transition Systems with Function SummariesImen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto. 41-58 [doi]
- Unit Testing of Database-Driven Java Enterprise Edition ApplicationsAndreas Fuchs, Herbert Kuchen. 59-76 [doi]
- Model-Based Testing of Probabilistic Systems with Stochastic TimeMarcus Gerhold, Mariëlle Stoelinga. 77-97 [doi]
- Test Suite Reduction in Idempotence Testing of Infrastructure as CodeKatsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden. 98-115 [doi]
- Checking UML and OCL Model Behavior with Filmstripping and Classifying TermsMartin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai. 119-128 [doi]
- Skolem Function Continuation for Quantified Boolean FormulasKatalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere. 129-138 [doi]
- WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load ConditionsAfef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel. 139-151 [doi]
- Testing a Saturation-Based Theorem Prover: Experiences and ChallengesGiles Reger, Martin Suda 0001, Andrei Voronkov. 152-161 [doi]