7th International Conference on
Tests & Proofs
Budapest, Hungary, June 18-19, 2013

Accepted Papers

A detailed program is available on the STAF website.

Bernhard K. Aichernig, Elisabeth Joebstl and Matthias Kegele. Incremental Refinement Checking for Test Case Generation
Bernhard K. Aichernig, Florian Lorber and Dejan Nickovic. Time for Mutants - Model-based Mutation Testing with Timed Automata
Cyrille Artho, Armin Biere and Martina Seidl. Model-Based Testing for Verification Backends
Bernhard Beckert, Markus Wagner and Thorsten Bormer. A Metric for Testing Program Verification Systems
Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi and Burkhart Wolff. Test Program Generation for a Microprocessor: A Case-Study
Rafael Caballero, Enrique Martin-Martin, Adrian Riesco and Salvador Tamarit. A Declarative Debugger for Sequential Erlang Programs
Martin Gogolla, Fabian Büttner and Jordi Cabot. Initiating a Benchmark for UML and OCL Analysis Tools
David Insa, Josep Silva and Adrian Riesco. Speeding Up Algorithmic Debugging Using Balanced Execution Trees
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann and Jonathan De Halleux. Generating Test Suites with Augmented Dynamic Symbolic Execution
Johan Oudinet, Alberto Calvi and Matthias Büchler. Evaluation of ASLan mutating operators
Daniel Pötzl and Andreas Holzer. Solving Constraints for Generational Search
Gerjan Stokkink, Mark Timmer and Marielle I A Stoelinga. Divergent Quiescent Transition Systems


Now Open:
Please use the registration on the STAF website.

Important Dates

  • Abstract submission:
    January 25, 2013
  • Paper submission:
    February 1, 2013
  • Notification:
    March 3, 2013
  • Camera ready version:
    April 5, 2013
  • TAP conference:
    June 18-19, 2013
  • STAF conferences:
    June 17 - 20, 2013

Program Chairs


STAF: Software, Technologies, Applications and Foundations 2013


Springer LNCS

The SPaCIoS Project