JTACO: Test Execution for Faster Bounded Verification

Kampmann, Alexander and Galeotti, Juan Pablo and Zeller, Andreas
(2014) JTACO: Test Execution for Faster Bounded Verification.
In: Proc. of the 8th International Conference on Tests and Proofs (TAP 2014).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item