@article {,
	title = {Improving Invariant Mining via Static Analysis},
	journal = {ACM Trans. Embed. Comput. Syst.},
	volume = {16},
	year = {2017},
	pages = {167:1{\textendash}167:20},
	keywords = {automated test generation, Invariant mining, model-based development, verification and validation},
	issn = {1539-9087},
	doi = {10.1145/3126504},
	url = {http://doi.acm.org/10.1145/3126504},
	author = {Schulze, Christoph and Cleaveland, Rance}
}
