[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for participation: TAP 2009

    Co-located with TOOLS EUROPE 2009

July 2-3 2009 - ETH Zürich, Switzerland



The TAP conference is devoted to the convergence of proofs and tests. It 
combines ideas from both sides for the advancement of software quality.

To prove the correctness of a program is to demonstrate, through 
impeccable mathematical techniques, that it has no bugs; to test a 
program is to run it with the expectation of discovering bugs. The two 
techniques seem contradictory: if you have proved your program, it's 
fruitless to comb it for bugs; and if you are testing it, that is surely 
a sign that you have given up on any hope to prove its correctness.

Accordingly, proofs and tests have, since the onset of software 
engineering research, been pursued by distinct communities using rather 
different techniques and tools.

And yet the development of both approaches leads to the discovery of 
common issues and to the realization that each may need the other. The 
emergence of model checking has been one of the first signs that 
contradiction may yield to complementarity, but in the past few years an 
increasing number of research efforts have encountered the need for 
combining proofs and tests, dropping earlier dogmatic views of 
incompatibility and taking instead the best of what each of these 
software engineering domains has to offer.

The conference will include a mix of invited and submitted presentation, 
and a generous allocation of panels and informal discussions.

* Sriram Rajamani   (Microsoft Research)
* Boutheina Chetali (Security Research Group Manager at Gemalto)

* "Development of a generic voter under FoCal" by Philippe Ayrault, 
Thérèse Hardin and François Pessaux
* "Combining Satisfiability Solving and Heuristics to Constrained 
Combinatorial Interaction Testing" by Andrea Calvagna and Angelo Gargantini
* "Incorporating Historical Test Case Performance Data and Resource 
Constraints into Test Case Prioritization" by Yalda Fazlalizadeh, 
Alireza Khalilian, Mohammad Abdollahi Azgomi and Saeed Parsa
* "Complementary Criteria for Testing Temporal Logic Properties" by 
Gordon Fraser and Franz Wotawa
* "Could we have chosen a better Loop Invariant or Method Contract?" by 
Christoph Gladisch
* "Consistency, Independence and Consequences in UML and OCL Models" by 
Martin Gogolla, Mirco Kuhlmann and Lars Hamann
* "Dynamic Symbolic Execution for Testing Distributed Objects" by 
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and 
Rudolf Schlatte
* "Combining Model Checking and Testing in a Continuous HW/SW 
Co-Verification Process" by Paula Herber, Florian Friedemann and Sabine 
* "Symbolic execution based model checking of open systems with 
unbounded variables" by Nicolas Rapin
* "Finding Errors of Hybrid Systems by Optimising an Abstraction-Based 
Quality Estimate" by Stefan Ratschan and Jan-Georg Smaus
* "Nitpick: A Counterexample Generator for Higher-Order Logic Based on a 
Relational Model Finder" by Jasmin Christian Blanchette and Tobias Nipkow
* "Tool demonstration: Euclide" by Benjamin Cama, Arnaud Gotlieb and 
Guillermo Andrade-Barroso
* "Incremental, two-level deadlock analysis for incomplete Java Card 3.0 
programs" by Rebekka Neumann, Michael Thies and Uwe Kastens

Details can be found at http://tap.ethz.ch/2009/registration.html
The early registration deadline is *7 June 2009*.


* Conference chair: Bertrand Meyer, ETH Zurich, Switzerland
* Program chair: Catherine Dubois, Evry, France

* Bernhard Aichernig, TU Graz, Austria
* Bernhard Beckert, University of Koblenz, Germany
* Patrice Chalin, Concordia University, Canada
* Yoonsik Cheon, University of Texas at El Paso, USA
* Koen Claessen, Chalmers, Sweden
* Gilles Dowek, École Polytechnique, France
* Angelo Gargantini, University of Bergamo, Italy
* Arnaud Gotlieb, IRISA, France
* Yuri Gurevich, Microsoft Research, USA
* Bart Jacobs, Katholieke Universiteit Leuven, Belgium
* Reiner Hähnle, Chalmers, Sweden
* Ewen Maclean, Heriot-Watt University, UK
* Karl Meinke, KTH Royal Institute of Technology, Sweden
* Sam Owre, SRI International, USA
* Wolfram Schulte, Microsoft Research, USA
* Mark Utting, Waikato University, New Zealand

* Yi Wei, ETH Zurich, Switzerland
* Stephan van Staden, ETH Zurich, Switzerland
* Claudia Günthart, ETH Zurich, Switzerland

Further information about the TAP 2009 conference can be found at: