|
|
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 | Alexandre Petrenko, Florent Avellaneda |
Learning Communicating State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 112-128, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Chantal Keller (eds.) |
Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![Springer, 978-3-030-31156-8 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Isenberg 0002, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim |
When Are Software Verification Results Valid for Approximate Hardware? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 3-20, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante |
BTestBox: A Tool for Testing B Translators and Coverage of B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 83-92, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm |
Predicting and Testing Latencies with Deep Learning: An IoT Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 93-111, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti |
Property-Based Test Case Generators for Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 186-206, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
Repairing Timed Automata Clock Guards through Abstraction and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 129-146, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eric Lavillonnière, David Mentré, Denis Cousineau 0002 |
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 55-63, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Timotej Kapus, Martin Nowack, Cristian Cadar |
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 41-54, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aurélie Hurault, Philippe Quéinnec |
Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 147-166, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, James Baxter 0001, Robert M. Hierons, Raluca Lefticaru |
Testing Robots Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 21-38, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall |
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 167-185, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Petra van den Bos, Jan Tretmans |
Coverage-Based Testing with Symbolic Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@FM ![In: Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, pp. 64-82, 2019, Springer, 978-3-030-31156-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|