![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal Methods and Testing 2008
- Robert M. Hierons, Jonathan P. Bowen
, Mark Harman:
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 W. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.