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)