@inproceedings{cordy:hal-01087659, TITLE = {{Simulation-Based Abstractions for Software Product-Line Model Checking}}, AUTHOR = {Cordy, Maxime and Classen, Andreas and Perrouin, Gilles and Schobbens, Pierre-Yves and Heymans, Patrick and Legay, Axel}, URL = {https://inria.hal.science/hal-01087659}, BOOKTITLE = {{ICSE 2012 : 34th International Conference on Software Engineering}}, ADDRESS = {Z{\"u}rich, Switzerland}, EDITOR = {Martin Glinz and Gail Murphy and Mauro Pezze}, PAGES = {672 - 682}, YEAR = {2012}, MONTH = Jun, DOI = {10.1109/ICSE.2012.6227150}, KEYWORDS = {Feature ; Abstraction ; Formal methods ; Simulation ; Model Checking ; Software Product Lines}, PDF = {https://inria.hal.science/hal-01087659/file/icse12.pdf}, HAL_ID = {hal-01087659}, HAL_VERSION = {v1}, }