Formal Methods and Testing 2008

• Jan Tretmans:
  Model Based Testing with Labelled Transition Systems. 1-38
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou:
  Testing Real-Time Systems Using UPPAAL. 77-117
  Electronic Edition (link) BibTeX
• Paul Ammann, Jeff Offutt, Wuzhi Xu:
  Coverage Criteria for State Based Specifications. 118-156
  Electronic Edition (link) BibTeX
• Jessica Chen, Robert M. Hierons, Hasan Ural:
  Testing in the Distributed Test Architecture. 157-183
  Electronic Edition (link) BibTeX
• Kirill Bogdanov:
  Testing from X-Machine Specifications. 184-208
  Electronic Edition (link) BibTeX
• Marie-Claude Gaudel, Pascale Le Gall:
  Testing Data Types Implementations from Algebraic Specifications. 209-239
  Electronic Edition (link) BibTeX
• Sergiy A. Vilkomir, Jonathan P. Bowen:
  From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. 240-270
  Electronic Edition (link) BibTeX
• Elaine J. Weyuker:
  Comparing the Effectiveness of Testing Techniques. 271-291
  Electronic Edition (link) BibTeX
• Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din:
  The Test Technology TTCN-3. 292-319
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane:
  Modelling the Effects of Combining Diverse Software Fault Detection Techniques. 345-366
  Electronic Edition (link) BibTeX