Abstract is missing.
- Simulated Time for Testing Railway Interlockings with TTCN-3Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. 1-15 [doi]
- Model-Based Testing Through a GUIAntti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara. 16-31 [doi]
- Play to TestAndreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes. 32-46 [doi]
- A Note on an Anomaly in Black-Box TestingAntti Huima. 47-61 [doi]
- A Novel Test Coverage Metric for Concurrently-Accessed Software ComponentsSerdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu. 62-71 [doi]
- Adaptive Random Testing by Bisection and LocalizationJohannes Mayer. 72-86 [doi]
- Interactive Testing with HOL-TestGenAchim D. Brucker, Burkhart Wolff. 87-102 [doi]
- Conformance Testing Relations for Timed SystemsManuel Núñez, Ismael Rodríguez. 103-117 [doi]
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSMAlexandre Petrenko, Nina Yevtushenko. 118-133 [doi]
- Calculating Probabilities of Real-Time Test CasesMarcin Jurdzinski, Doron Peled, Hongyang Qu. 134-151 [doi]
- Time Unbalanced Partial OrderDoron Peled, Hongyang Qu. 152-169 [doi]
- Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional ApproachGaoyan Xie, Zhe Dang. 170-186 [doi]
- Automated Generation of Positive and Negative Tests for ParsersSergey V. Zelenov, Sophia A. Zelenova. 187-202 [doi]
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding AxiomsMarc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. 203-217 [doi]