Fingerprint
Untersuchen Sie die Forschungsthemen von „Automated generation of (F)LTL oracles for testing and debugging“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
Automated generation of (F)LTL oracles for testing and debugging
Ingo Pill, Franz Wotawa
Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung