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

Ingo Pill, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-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