@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} }