9th International Conference on Tests & Proofs
22–24 July 2015, L'Aquila, Italy
Accepted Papers
- Stefan Mijatov, Tanja Mayerhofer, Philip Langer, and Gerti Kappel. Testing Functional Requirements in UML Activity Diagrams
- Jan Peleska, Felix Hübner, and Wen-Ling Huang. Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy
- Bernhard K. Aichernig, Dejan Nickovic, and Stefan Tiran. Scalable incremental test-case generation from large behavior models
- Richard Genestier, Alain Giorgetti, and Guillaume Petiot. Sequential generation of structured arrays and its deductive verification
- Konstantinos Athanasiou, Hernan Ponce-De-Leon, and Stefan Schwoon. Test Case Generation for Concurrent Systems Using Event Structures
- Ernesto C. B. de Matos, David Dèharbe, Anamaria M. Moreira, Cleverton Hentz, Valèrio de Medeiros Jr. and João B. Souza Neto. Verifying Code Generation Tools for the B-Method Using Tests: a Case Study
- Roderick Bloem, Daniel Hein, Franz Roeck, and Richard Schumi. Case Study: Automatic test case generation for a secure cache implementation
- Olga Grinchtein, Mats Carlsson, and Justin Pearson. A constraint optimization model for analysis of telecommunication protocol logs
- Aaron Dutle, Cesar Munoz, Anthony Narkawicz, and Ricky Butler. Software Validation via Model Animation
- Geoff Birch, Bernd Fischer, and Michael Poppleton. Fast Model-Based Fault Localisation with Test Suites
- Mathias Soeken, Julia Seiter, and Rolf Drechsler. Coverage of OCL Operation Specifications and Invariants
- Martin Gogolla, Lars Hamann, Frank Hilken, and Matthias Sedlmeier. Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (Short Paper)