3. TAP 2009:
Zurich, Switzerland
Catherine Dubois (Ed.):
Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings.
Lecture Notes in Computer Science 5668 Springer 2009, ISBN 978-3-642-02948-6 
- Boutheina Chetali:
Security Testing and Formal Methods for High Levels Certification of Smart Cards.
1-5
- Aditya V. Nori, Sriram K. Rajamani:
Verification, Testing and Statistics.
6-9
- Philippe Ayrault, Thérèse Hardin, François Pessaux:
Development of a Generic Voter under FoCal.
10-26
- Andrea Calvagna, Angelo Gargantini:
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.
27-42
- Yalda Fazlalizadeh, Alireza Khalilian, Mohammad Abdollahi Azgomi, Saeed Parsa:
Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization.
43-57
- Gordon Fraser, Franz Wotawa:
Complementary Criteria for Testing Temporal Logic Properties.
58-73
- Christoph Gladisch:
Could We Have Chosen a Better Loop Invariant or Method Contract?.
74-89
- Martin Gogolla, Mirco Kuhlmann, Lars Hamann:
Consistency, Independence and Consequences in UML and OCL Models.
90-104
- Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution for Testing Distributed Objects.
105-120
- Paula Herber, Florian Friedemann, Sabine Glesner:
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.
121-136
- Nicolas Rapin:
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.
137-152
- Stefan Ratschan, Jan-Georg Smaus:
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate.
153-168
Last update Tue May 21 00:55:09 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
