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

Ingo Pill, Franz Wotawa

Research output: Conference proceeding/Chapter in Book/Report/Conference Paperpeer-review

Fingerprint

Dive into the research topics of 'An Automated (F) LTL Test Oracle for Testing with Requirements'. Together they form a unique fingerprint.

Engineering & Materials Science