Counterexample guided abstraction refinement of product-line behavioural models

Article Details
Title:	Counterexample guided abstraction refinement of product-line behavioural models
Article URLs:	https://doi.org/10.1145/2635868.2635919
Alternative Article URLs:
Authors:	Maxime Cordy	University of Namur
	Patrick Heymans	University of Namur
	Axel Legay	INRIA Rennes
	Pierre-Yves Schobbens	University of Namur
	Bruno Dawagne	University of Namur
	Martin Leucker	University of Lübeck
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://projects.info.unamur.be/fts/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sigsoft/CordyHLSDL14
Author Comments:

ACM Foundations of Software Engineering, FSE 2014