Abstract is missing.
- Scalable Incremental Test-case Generation from Large Behavior ModelsBernhard K. Aichernig, Dejan Nickovic, Stefan Tiran. 1-18 [doi]
- Test Case Generation for Concurrent Systems Using Event StructuresKonstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon. 19-37 [doi]
- Fast Model-Based Fault Localisation with Test SuitesGeoff Birch, Bernd Fischer, Michael R. Poppleton. 38-57 [doi]
- Case Study: Automatic Test Case Generation for a Secure Cache ImplementationRoderick Bloem, Daniel M. Hein, Franz Röck, Richard Schumi. 58-75 [doi]
- Verifying Code Generation Tools for the B-Method Using Tests: A Case StudyAnamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João B. Souza Neto, Valério de Medeiros Jr.. 76-91 [doi]
- Software Validation via Model AnimationAaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler. 92-108 [doi]
- Sequential Generation of Structured Arrays and Its Deductive VerificationRichard Genestier, Alain Giorgetti, Guillaume Petiot. 109-128 [doi]
- Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case StudyMartin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier. 129-136 [doi]
- A Constraint Optimisation Model for Analysis of Telecommunication Protocol LogsOlga Grinchtein, Mats Carlsson, Justin Pearson. 137-154 [doi]
- Experimental Evaluation of a Novel Equivalence Class Partition Testing StrategyFelix Hübner, Wen-ling Huang, Jan Peleska. 155-172 [doi]
- Testing Functional Requirements in UML Activity DiagramsStefan Mijatov, Tanja Mayerhofer, Philip Langer, Gerti Kappel. 173-190 [doi]
- Coverage of OCL Operation Specifications and InvariantsMathias Soeken, Julia Seiter, Rolf Drechsler. 191-207 [doi]