An Automated (F) LTL Test Oracle for Testing with Requirements

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW
Herausgeber (Verlag)	Institute of Electrical and Electronics Engineers
Seiten	197-204
Seitenumfang	8
DOIs	https://doi.org/10.1109/ISSREW.2016.14
Publikationsstatus	Veröffentlicht - 2016

Fields of Expertise

@inproceedings{0434c5a75b7f45d5a803cefacd621743,

title = "An Automated (F) LTL Test Oracle for Testing with Requirements",

author = "Ingo Pill and Franz Wotawa",

year = "2016",

doi = "10.1109/ISSREW.2016.14",

language = "English",

pages = "197--204",

booktitle = "2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

TY - GEN

T1 - An Automated (F) LTL Test Oracle for Testing with Requirements

AU - Pill, Ingo

AU - Wotawa, Franz

PY - 2016

Y1 - 2016

U2 - 10.1109/ISSREW.2016.14

DO - 10.1109/ISSREW.2016.14

M3 - Conference paper

SP - 197

EP - 204

BT - 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW

PB - Institute of Electrical and Electronics Engineers

ER -