Abstract is missing.
- Security Testing and Formal Methods for High Levels Certification of Smart CardsBoutheina Chetali. 1-5 [doi]
- Verification, Testing and StatisticsAditya V. Nori, Sriram K. Rajamani. 6-9 [doi]
- Development of a Generic Voter under FoCalPhilippe Ayrault, Thérèse Hardin, François Pessaux. 10-26 [doi]
- Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction TestingAndrea Calvagna, Angelo Gargantini. 27-42 [doi]
- Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case PrioritizationYalda Fazlalizadeh, Alireza Khalilian, Mohammad Abdollahi Azgomi, Saeed Parsa. 43-57 [doi]
- Complementary Criteria for Testing Temporal Logic PropertiesGordon Fraser, Franz Wotawa. 58-73 [doi]
- Could We Have Chosen a Better Loop Invariant or Method Contract?Christoph Gladisch. 74-89 [doi]
- Consistency, Independence and Consequences in UML and OCL ModelsMartin Gogolla, Mirco Kuhlmann, Lars Hamann. 90-104 [doi]
- Dynamic Symbolic Execution for Testing Distributed ObjectsAndreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte. 105-120 [doi]
- Combining Model Checking and Testing in a Continuous HW/SW Co-verification ProcessPaula Herber, Florian Friedemann, Sabine Glesner. 121-136 [doi]
- Symbolic Execution Based Model Checking of Open Systems with Unbounded VariablesNicolas Rapin. 137-152 [doi]
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality EstimateStefan Ratschan, Jan-Georg Smaus. 153-168 [doi]