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

Ingo Pill, Franz Wotawa

Research output: Contribution to journal › Article › Research › peer-review

Original languageEnglish
Pages (from-to)124-141
JournalThe Journal of Systems and Software
Volume139
Publication 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 journal › Article › Research › peer-review

Pill, I & Wotawa, F 2018, 'Automated generation of (F)LTL oracles for testing and debugging' The Journal of Systems and Software , vol. 139, pp. 124-141.
Pill I, Wotawa F. Automated generation of (F)LTL oracles for testing and debugging. The Journal of Systems and Software . 2018;139:124-141.
Pill, Ingo ; Wotawa, Franz. / Automated generation of (F)LTL oracles for testing and debugging. In: The Journal of Systems and Software . 2018 ; Vol. 139. pp. 124-141.
@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

JF - The Journal of Systems and Software

SN - 0164-1212

ER -