Skip to main content
  • Areas
  • Industries
  • Projects
  • Publications
  • About NR
    • Our employees
    • About NR
    • A short history of NR
    • Directions
    • Equal treatment plan
    • NR’s Master´s Prize
    • Events
    • Organization
      • Applied research in information and communication technology
      • Statistical modelling and machine learning
      • Statistical analysis of natural resource data
    • Working at NR
    • Rights Retention Strategy
    • Research centres
    • Social responsibility
  • Language: EN
    • NO

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

Contact us

  • (+47) 2285 2500
  • nr@nr.no

Follow us

  • Facebook
  • LinkedIn

Enterprise number

NO952125001VAT

Postal address

Norsk Regnesentral
P.O. Box 114 Blindern
NO-0314 Oslo, Norway

Visiting address

Gaustadalleen 23a, 4th floor
Kristen Nygaards hus
0373 Oslo