3. TAP 2009: Zurich, Switzerland
Catherine Dubois (Ed.): Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-02948-6- Boutheina Chetali: Security Testing and Formal Methods for High Levels Certification of Smart Cards. 1-5
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team