Model-Based Testing for Verification Back-Ends

C. Artho,M. Seidl, A. Biere:
"Model-Based Testing for Verification Back-Ends";
Vortrag: 7th International Conference on Tests&Proofs, Budapest; 18.06.2013 - 19.06.2013; in:"Proceedings of the 7th International Conference on Tests and Proofs (TAP)", (2013), ISBN: 978-3-642-38915-3; S. 39 - 55.

[ Publication Database ]