Counterexample guided abstraction refinement of product-line behavioural models
| Title | Counterexample guided abstraction refinement of product-line behavioural models |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Cordy, M, Heymans, P, Legay, A, Schobbens, P-Y, Dawagne, B, Leucker, M |
| Conference Name | Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014 |
| Publisher | {ACM} |
| URL | http://doi.acm.org/10.1145/2635868.2635919 |
| DOI | 10.1145/2635868.2635919 |
Bibtex:
@inproceedings {1153,
title = {Counterexample guided abstraction refinement of product-line behavioural models},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014},
year = {2014},
publisher = {{ACM}},
organization = {{ACM}},
doi = {10.1145/2635868.2635919},
url = {http://doi.acm.org/10.1145/2635868.2635919},
author = {Maxime Cordy and Patrick Heymans and Axel Legay and Pierre-Yves Schobbens and Bruno Dawagne and Martin Leucker}
}