Lightweight specification and analysis of dynamic systems with rich configurations

Article Details
Title:	Lightweight specification and analysis of dynamic systems with rich configurations
Article URLs:	https://doi.org/10.1145/2950290.2950318
Alternative Article URLs:
Authors:	Nuno Macedo	INESC TEC, Portugal, HASLab Universidade do Minho, Portugal, HASLab
	Julien Brunel	UFTMiP, France ONERA, France, DTIM
	David Chemouil	UFTMiP, France ONERA, France, DTIM
	Alcino Cunha	INESC TEC, Portugal, HASLab Universidade do Minho, Portugal, HASLab
	Denis Kuperberg	TU Munich, Germany
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/haslab/electrum/tree/FSE16
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sigsoft/MacedoBCCK16
Author Comments:

ACM Foundations of Software Engineering, FSE 2016