@conference {320,
	title = {JTACO: Test Execution for Faster Bounded Verification},
	booktitle = {TAP 2014: Proceedings of the 8th International Conference on Tests and Proofs},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-319-09098-6},
	doi = {10.1007/978-3-319-09099-3_10},
	author = {Alexander Kampmann and Juan Pablo Galeotti and Andreas Zeller}
}