|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elaine J. Weyuker |
Comparing the Effectiveness of Testing Techniques.  |
Formal Methods and Testing  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper |
Testability Transformation - Program Transformation to Improve Testability. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
Model Based Testing with Labelled Transition Systems. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirill Bogdanov |
Testing from X-Machine Specifications. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane |
Modelling the Effects of Combining Diverse Software Fault Detection Techniques. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din |
The Test Technology TTCN-3. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.) |
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers |
Formal Methods and Testing |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marie-Claude Gaudel, Pascale Le Gall |
Testing Data Types Implementations from Algebraic Specifications. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou |
Testing Real-Time Systems Using UPPAAL. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessica Chen, Robert M. Hierons, Hasan Ural |
Testing in the Distributed Test Architecture. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Ammann, Jeff Offutt, Wuzhi Xu |
Coverage Criteria for State Based Specifications. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")