@inproceedings{TUW-223541, author = {Artho, Cyrille and Seidl, Martina and Biere, Armin}, title = {Model-Based Testing for Verification Back-Ends}, booktitle = {Proceedings of the 7th International Conference on Tests and Proofs (TAP)}, year = {2013}, pages = {39--55}, url = {http://dx.doi.org/10.1007/978-3-642-38916-0_3}, isbn = {978-3-642-38915-3}, doi = {10.1007/978-3-642-38916-0}, note = {Vortrag: 7th International Conference on Tests {\&} Proofs, Budapest; 2013-06-18 -- 2013-06-19} }