TY  - RPRT
TI  - Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
AU  - Lars Luthmann
AU  - Stephan Mennicke
AU  - Malte Lochau
PY  - 2015
DO  - 10.4204/eptcs.182.1
UR  - https://arxiv.org/abs/1504.03473
ID  - 1504.03473
ER  -