search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Formal Methods and Testing

Keyphrases

Publications

2008

Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din
The Test Technology TTCN-3. Formal Methods and Testing (2008)
Kirill Bogdanov
Testing from X-Machine Specifications. Formal Methods and Testing (2008)
Jan Tretmans
Model Based Testing with Labelled Transition Systems. Formal Methods and Testing (2008)
Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou
Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing (2008)
Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper
Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing (2008)
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing (2008)
Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane
Modelling the Effects of Combining Diverse Software Fault Detection Techniques. Formal Methods and Testing (2008)
Paul Ammann, Jeff Offutt, Wuzhi Xu
Coverage Criteria for State Based Specifications. Formal Methods and Testing (2008)
Marie-Claude Gaudel, Pascale Le Gall
Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing (2008)
Jessica Chen, Robert M. Hierons, Hasan Ural
Testing in the Distributed Test Architecture. Formal Methods and Testing (2008)
Sergiy A. Vilkomir, Jonathan P. Bowen
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. Formal Methods and Testing (2008)
Elaine J. Weyuker
Comparing the Effectiveness of Testing Techniques. Formal Methods and Testing (2008)

volume 4949, 2008

Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers Formal Methods and Testing 4949 (2008)