|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 106 publication records. Showing 106 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Margus Veanes, Luca Viganò 0001 (eds.) |
Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings  |
TAP@STAF  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit |
A Declarative Debugger for Sequential Erlang Programs. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David Insa, Josep Silva, Adrián Riesco 0001 |
Speeding Up Algorithmic Debugging Using Balanced Execution Trees. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Oudinet, Alberto Calvi, Matthias Büchler |
Evaluation of ASLan Mutation Operators. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Armin Biere, Martina Seidl |
Model-Based Testing for Verification Back-Ends. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic |
Time for Mutants - Model-Based Mutation Testing with Timed Automata. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #106 of 106 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license