Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata

Published in Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015, 2015