3. TAP 2009: Zurich, Switzerland

• 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