Verification of Software Product Lines with Delta-oriented Slicing

Reviewed Paper In Proceedings

Author(s):Daniel Bruns, Vladimir Klebanov, and Ina Schaefer
In:Revised Selected Papers, International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010)
Publisher:Springer
Series:LNCS
Volume:6528
Year:2010

BibTeX

@inproceedings{BrunsEtAl2010,
  author       = {Daniel Bruns and Vladimir Klebanov and Ina Schaefer},
  title        = {Verification of Software Product Lines with Delta-oriented Slicing},
  editor       = {Bernhard Beckert and Claude March{\'e}},
  booktitle    = {Revised Selected Papers, International Conference on Formal Verification
                  of Object-Oriented Software ({FoVeOOS} 2010)},
  series       = {LNCS},
  volume       = {6528},
  publisher    = {Springer},
  year         = {2010},
  month        = jun
}