kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2011

Symbolic model checking of software product lines

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Full textDOI 10.1145/1985793.1985838dblp

Abstract

We study the problem of model checking software product line (SPL) behaviours against temporal properties. This is more difficult than for single systems because an SPL with n features yields up to 2n individual systems to verify. As each individual verification suffers from state explosion, it is crucial to propose efficient formalisms and heuristics.

BibTeX
@inproceedings{Classen-al:ICSE11,
  author    = {Andreas Classen and
               Patrick Heymans and
               Pierre{-}Yves Schobbens and
               Axel Legay},
  title     = {Symbolic model checking of software product lines},
  booktitle = {ICSE},
  pages     = {321--330},
  publisher = {{ACM}},
  year      = {2011},
}

Related papers