Counterexample guided abstraction refinement of product-line behavioural models

TitleCounterexample guided abstraction refinement of product-line behavioural models
Publication TypeConference Paper
Year of Publication2014
AuthorsCordy, M, Heymans, P, Legay, A, Schobbens, P-Y, Dawagne, B, Leucker, M
Conference NameProceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014
Publisher{ACM}
URLhttp://doi.acm.org/10.1145/2635868.2635919
DOI10.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}
}