default search action
3rd TAP@TOOLS 2009: Zurich, Switzerland
- Catherine Dubois:
Tests and Proofs - 3rd International Conference, TAP@TOOLS 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.