Abstract is missing.
- Counting for Random TestingMarie-Claude Gaudel. 1-8 [doi]
- Formal Testing of Timed and Probabilistic SystemsManuel Núñez. 9-14 [doi]
- Improved Usage Model for Web Application Reliability TestingGregor von Bochmann, Guy-Vincent Jourdan, Bo Wan. 15-31 [doi]
- Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based TestsKalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha. 32-47 [doi]
- Conformance Relations for Distributed Testing Based on CSPAna Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons. 48-63 [doi]
- Praspel: A Specification Language for Contract-Based Testing in PHPIvan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman. 64-79 [doi]
- Using Testing Techniques for Vulnerability Detection in C ProgramsAmel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca. 80-96 [doi]
- Learning-Based Testing for Reactive Systems Using Term Rewriting TechnologyKarl Meinke, Fei Niu. 97-114 [doi]
- Monitoring Dynamical Signals While Testing Timed Aspects of a SystemGoran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen. 115-130 [doi]
- Model-Based Testing of Industrial Transformational SystemsPetur Olsen, Johan Foederer, Jan Tretmans. 131-145 [doi]
- A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive DomainJan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten. 146-161 [doi]
- Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMsAlexandre Petrenko, Nina Yevtushenko. 162-178 [doi]
- Compositional Random Testing Using Extended Symbolic Transition SystemsChristian Schwarzl, Bernhard K. Aichernig, Franz Wotawa. 179-194 [doi]
- An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication ServicesHiroyuki Shinbo, Toru Hasegawa. 195-208 [doi]
- Assessing Test Adequacy for Black-Box Systems without SpecificationsNeil Walkinshaw. 209-224 [doi]