Abstract is missing.
- Model Based Testing with Labelled Transition SystemsJan Tretmans. 1-38 [doi]
- Model-Based Testing of Object-Oriented Reactive Systems with Spec ExplorerMargus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson. 39-76 [doi]
- Testing Real-Time Systems Using UPPAALAnders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou. 77-117 [doi]
- Coverage Criteria for State Based SpecificationsPaul Ammann, Jeff Offutt, Wuzhi Xu. 118-156 [doi]
- Testing in the Distributed Test ArchitectureJessica Chen, Robert M. Hierons, Hasan Ural. 157-183 [doi]
- Testing from X-Machine SpecificationsKirill Bogdanov. 184-208 [doi]
- Testing Data Types Implementations from Algebraic SpecificationsMarie-Claude Gaudel, Pascale Le Gall. 209-239 [doi]
- From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing CriteriaSergiy A. Vilkomir, Jonathan P. Bowen. 240-270 [doi]
- Comparing the Effectiveness of Testing TechniquesElaine J. Weyuker. 271-291 [doi]
- The Test Technology TTCN-3Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din. 292-319 [doi]
- Testability Transformation - Program Transformation to Improve TestabilityMark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper. 320-344 [doi]
- Modelling the Effects of Combining Diverse Software Fault Detection TechniquesBev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane. 345-366 [doi]