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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Originalspracheenglisch
Seiten (von - bis)124-141
FachzeitschriftThe Journal of Systems and Software
Jahrgang139
PublikationsstatusVeröffentlicht - 2018

Dies zitieren

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

in: The Journal of Systems and Software , Jahrgang 139, 2018, S. 124-141.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

@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 -