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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW
Publisher	Institute of Electrical and Electronics Engineers
Pages	197-204
Number of pages	8
DOIs	https://doi.org/10.1109/ISSREW.2016.14
Publication status	Published - 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 -