Publications

Filters: Author is Alexander Kampmann [Clear All Filters]

2014

A. Kampmann, J. P. Galeotti, and A. Zeller, “JTACO: Test Execution for Faster Bounded Verification”, in TAP 2014: Proceedings of the 8th International Conference on Tests and Proofs, 2014.

kampmann-tap-2014.pdf (297.61 KB)