Robert M. Hierons, Jonathan P. Bowen, Mark Harman (Eds.):
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers.
Lecture Notes in Computer Science 4949 Springer 2008, ISBN 978-3-540-78916-1 
- Jan Tretmans:
Model Based Testing with Labelled Transition Systems.
1-38
- Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson:
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.
39-76
- Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou:
Testing Real-Time Systems Using UPPAAL.
77-117
- Paul Ammann, Jeff Offutt, Wuzhi Xu:
Coverage Criteria for State Based Specifications.
118-156
- Jessica Chen, Robert M. Hierons, Hasan Ural:
Testing in the Distributed Test Architecture.
157-183
- Kirill Bogdanov:
Testing from X-Machine Specifications.
184-208
- Marie-Claude Gaudel, Pascale Le Gall:
Testing Data Types Implementations from Algebraic Specifications.
209-239
- Sergiy A. Vilkomir, Jonathan P. Bowen:
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.
240-270
- Elaine J. Weyuker:
Comparing the Effectiveness of Testing Techniques.
271-291
- Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din:
The Test Technology TTCN-3.
292-319
- Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper:
Testability Transformation - Program Transformation to Improve Testability.
320-344
- Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane:
Modelling the Effects of Combining Diverse Software Fault Detection Techniques.
345-366
Last update Fri May 25 08:14:18 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
