@inproceedings{fse15-mimic,
	author    = {Stefan Heule and Manu Sridharan and Satish Chandra},
	title     = {Mimic: Computing Models for Opaque Code},
	booktitle = {Foundations of Software Engineering ({FSE})},
	year      = {2015},
	month     = {September},
	biburl    = {https://stefanheule.com/publications/fse15-mimic/},
	bibsource = {stefanheule.com, https://stefanheule.com/}
}