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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publication2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW
PublisherInstitute of Electrical and Electronics Engineers
Pages197-204
Number of pages8
DOIs
Publication statusPublished - 2016

Fields of Expertise

  • Information, Communication & Computing

Cite this

Pill, I., & Wotawa, F. (2016). An Automated (F) LTL Test Oracle for Testing with Requirements. In 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW (pp. 197-204). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISSREW.2016.14

An Automated (F) LTL Test Oracle for Testing with Requirements. / Pill, Ingo; Wotawa, Franz.

2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW. Institute of Electrical and Electronics Engineers, 2016. p. 197-204.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Pill, I & Wotawa, F 2016, An Automated (F) LTL Test Oracle for Testing with Requirements. in 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW. Institute of Electrical and Electronics Engineers, pp. 197-204. https://doi.org/10.1109/ISSREW.2016.14
Pill I, Wotawa F. An Automated (F) LTL Test Oracle for Testing with Requirements. In 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW. Institute of Electrical and Electronics Engineers. 2016. p. 197-204 https://doi.org/10.1109/ISSREW.2016.14
Pill, Ingo ; Wotawa, Franz. / An Automated (F) LTL Test Oracle for Testing with Requirements. 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW. Institute of Electrical and Electronics Engineers, 2016. pp. 197-204
@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 contribution

SP - 197

EP - 204

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

PB - Institute of Electrical and Electronics Engineers

ER -