|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![Springer, 978-3-642-38915-3 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, pp. 96-114, 2013, Springer, 978-3-642-38915-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Insa, Josep Silva, Adrián Riesco 0001 |
Speeding Up Algorithmic Debugging Using Balanced Execution Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, pp. 133-151, 2013, Springer, 978-3-642-38915-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johan Oudinet, Alberto Calvi, Matthias Büchler |
Evaluation of ASLan Mutation Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, pp. 178-196, 2013, Springer, 978-3-642-38915-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Artho, Armin Biere, Martina Seidl |
Model-Based Testing for Verification Back-Ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, pp. 39-55, 2013, Springer, 978-3-642-38915-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic |
Time for Mutants - Model-Based Mutation Testing with Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, pp. 20-38, 2013, Springer, 978-3-642-38915-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #106 of 106 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|