Tests and Proofs

1. Front Matter

   Pages I-XIX

   PDF

2. Scalable Incremental Test-case Generation from Large Behavior Models

   • Bernhard K. Aichernig, Dejan Ničković, Stefan Tiran

   Pages 1-18

3. Test Case Generation for Concurrent Systems Using Event Structures

   • Konstantinos Athanasiou, Hernán Ponce-de-León, Stefan Schwoon

   Pages 19-37

4. Fast Model-Based Fault Localisation with Test Suites

   • Geoff Birch, Bernd Fischer, Michael R. Poppleton

   Pages 38-57

5. Case Study: Automatic Test Case Generation for a Secure Cache Implementation

   • Roderick Bloem, Daniel Hein, Franz Röck, Richard Schumi

   Pages 58-75

6. Verifying Code Generation Tools for the B-Method Using Tests: A Case Study

   • Anamaria M. Moreira, Cleverton Hentz, David Déharbe, Ernesto C. B. de Matos, João B. Souza Neto, Valério de Medeiros Jr.

   Pages 76-91

7. Software Validation via Model Animation

   • Aaron M. Dutle, César A. Muñoz, Anthony J. Narkawicz, Ricky W. Butler

   Pages 92-108

8. Sequential Generation of Structured Arrays and Its Deductive Verification

   • Richard Genestier, Alain Giorgetti, Guillaume Petiot

   Pages 109-128

9. Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study

   • Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier

   Pages 129-136

10. A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs

    • Olga Grinchtein, Mats Carlsson, Justin Pearson

    Pages 137-154

11. Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy

    • Felix Hübner, Wen-ling Huang, Jan Peleska

    Pages 155-172

12. Testing Functional Requirements in UML Activity Diagrams

    • Stefan Mijatov, Tanja Mayerhofer, Philip Langer, Gerti Kappel

    Pages 173-190

13. Coverage of OCL Operation Specifications and Invariants

    • Mathias Soeken, Julia Seiter, Rolf Drechsler

    Pages 191-207

14. Back Matter

    Pages 209-209

    PDF

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.

• Class diagrams
• Constraint programming
• Deductive verification
• Dynamic analysis
• Empirical software validation
• Event structures
• Formal methods
• Formal software verification
• Formal specification
• Imperative program
• Logic and verification
• Model animation
• Model checking
• Model consistency
• Model-based testing
• Sequence diagrams
• Software testing and debugging
• Software verification
• State transition systems
• UML activity diagrams

• Inria Nancy & LORIA, Villers-lès-Nancy, France

  Jasmin Christian Blanchette

• CEA LIST Nano-Innov, Saclay, France

  Nikolai Kosmatov

Policies and ethics