Model mining and efficient verification of software product lines Siavash Soleimanifard Dilian Gurov Ina Schaefer Bjarte M. Østvold Minko Markov Publication details Journal: Serdica Journal of Computing, vol. 9, p. 35–82, 2015 International Standard Numbers: Printed: 1312-6555 Electronic: 1314-7897 Bjarte M. Østvold Asst. Research Director You are here: Home Publications Scientific article Model mining and efficient verification of software product lines
