Abstract is missing.
- Test Generation Based on Symbolic SpecificationsLars Frantzen, Jan Tretmans, Tim A. C. Willemse. 1-15 [doi]
- Symbolic Test Case Generation for Primitive Recursive FunctionsAchim D. Brucker, Burkhart Wolff. 16-32 [doi]
- Preserving Contexts for Soft Conformance RelationDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez. 33-48 [doi]
- Testing of Symbolic-Probabilistic SystemsNatalia López, Manuel Núñez, Ismael Rodríguez. 49-63 [doi]
- A Test Generation Framework for ::::quiescent:::: Real-Time SystemsLaura Brandán Briones, Ed Brinksma. 64-78 [doi]
- Online Testing of Real-time Systems Using UppaalKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen. 79-94 [doi]
- Testing Deadlock-Freeness in Real-Time Systems: A Formal ApproachBehzad Bordbar, Kozo Okano. 95-109 [doi]
- Using Model Checking for Reducing the Cost of Test GenerationHyoung Seok Hong, Hasan Ural. 110-124 [doi]
- Specifying and Generating Test Cases Using Observer AutomataJohan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson. 125-139 [doi]
- Semi-formal Development of a Fault-Tolerant Leader Election Protocol in ErlangThomas Arts, Koen Claessen, Hans Svensson. 140-154 [doi]
- An Automata-Theoretic Approach for Model-Checking Systems with Unspecified ComponentsGaoyan Xie, Zhe Dang. 155-169 [doi]
- Test Patterns with TTCN-3Alain Vouffo-Feudjio, Ina Schieferdecker. 170-179 [doi]
- High-Level Restructuring of TTCN-3 Test DataAntal Wu-Hen-Chang, Dung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki. 180-194 [doi]
- Ordering Mutants to Minimise Test Effort in Mutation TestingKalpesh Kapoor, Jonathan P. Bowen. 195-209 [doi]
- Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical StudyHoijin Yoon, Eunhee Kim, Joo Young Seo, Byoungju Choi. 210-224 [doi]