@inproceedings{WCRE-2013-Pichler,
	author        = "Josef Pichler",
	booktitle     = "{Proceedings of the 20th Working Conference on Reverse Engineering}",
	doi           = "10.1109/WCRE.2013.6671323",
	editor        = "Ralf Lämmel and Rocco Oliveto and Romain Robbes",
	pages         = "462--466",
	publisher     = "{IEEE}",
	title         = "{Specification extraction by symbolic execution}",
	year          = 2013,
}