|
|
|
|
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.  |
TAP@FM  |
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 |
TAP@FM |
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? |
TAP@FM |
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. |
TAP@FM |
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. |
TAP@FM |
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. |
TAP@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli |
Repairing Timed Automata Clock Guards through Abstraction and Testing. |
TAP@FM |
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. |
TAP@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Timotej Kapus, Martin Nowack, Cristian Cadar |
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? |
TAP@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurélie Hurault, Philippe Quéinnec |
Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. |
TAP@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, James Baxter 0001, Robert M. Hierons, Raluca Lefticaru |
Testing Robots Using CSP. |
TAP@FM |
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. |
TAP@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra van den Bos, Jan Tretmans |
Coverage-Based Testing with Symbolic Transition Systems. |
TAP@FM |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license