Simulation-Based Abstractions for Software Product-Line Model Checking

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

49 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9
Publisher	IEEE
Volume	672-682
Publication status	Published - 2012

Access to Document

@inproceedings{925ea09b7dbc4f868759d5bd9679bd0e,

title = "Simulation-Based Abstractions for Software Product-Line Model Checking",

author = "Maxime Cordy and Andreas Classen and Gilles Perrouin and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay",

year = "2012",

language = "English",

volume = "672-682",

booktitle = "Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9",

publisher = "IEEE",

}

Simulation-Based Abstractions for Software Product-Line Model Checking. / Cordy, Maxime; Classen, Andreas; Perrouin, Gilles et al.
Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. Vol. 672-682 IEEE, 2012.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Simulation-Based Abstractions for Software Product-Line Model Checking

AU - Cordy, Maxime

AU - Classen, Andreas

AU - Perrouin, Gilles

AU - Heymans, Patrick

AU - Schobbens, Pierre-Yves

AU - Legay, Axel

PY - 2012

Y1 - 2012

M3 - Conference contribution

VL - 672-682

BT - Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9

PB - IEEE

ER -