Model mining and efficient verification of software product lines Publication details Journal: Serdica Journal of Computing, vol. 9, p. 35–82, 2015 International Standard Numbers: Printed: 1312-6555 Electronic: 1314-7897 You are here: Home Publications Scientific article Model mining and efficient verification of software product lines