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} }