Automated generation of (F)LTL oracles for testing and debugging

Ingo Pill, Franz Wotawa

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)124-141
JournalThe Journal of Systems and Software
Volume139
Publication statusPublished - 2018

Cite this