@inproceedings{kampmann-tap-2014,
    title = "JTACO: Test Execution for Faster Bounded Verification",
    author = "Alexander Kampmann and Juan Pablo Galeotti and Andreas Zeller",
    year = "2014",
    month = jul,
    booktitle = "TAP 2014: Proceedings of the 8th International Conference on Tests and Proofs",
    location = "York, UK",
    pages = "134--141",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    volume = "8570",
    ISBN = "978-3-319-09098-6",
    ISSN = "0302-9743",
    doi = "10.1007/978-3-319-09099-3_10",
}