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

Research output: Contribution to journalArticleResearchpeer-review

LanguageEnglish
Pages124-141
JournalThe Journal of Systems and Software
Volume139
StatusPublished - 2018

Cite this

Automated generation of (F)LTL oracles for testing and debugging. / Pill, Ingo; Wotawa, Franz.

In: The Journal of Systems and Software , Vol. 139, 2018, p. 124-141.

Research output: Contribution to journalArticleResearchpeer-review

@article{b18bde98360d4c3d985024c9dc49d5ac,
title = "Automated generation of (F)LTL oracles for testing and debugging",
author = "Ingo Pill and Franz Wotawa",
year = "2018",
language = "English",
volume = "139",
pages = "124--141",
journal = "The Journal of Systems and Software",
issn = "0164-1212",
publisher = "Elsevier Inc.",

}

TY - JOUR

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

AU - Pill, Ingo

AU - Wotawa, Franz

PY - 2018

Y1 - 2018

M3 - Article

VL - 139

SP - 124

EP - 141

JO - The Journal of Systems and Software

T2 - The Journal of Systems and Software

JF - The Journal of Systems and Software

SN - 0164-1212

ER -