Model-Based Generation of Test Oracles for Embedded Software Product Lines.

Florian Markert, Sebastian Oster

Browse the full SPLC paper archive.