Model-Based Testing for Verification Backends (bibtex)
by C. Artho, A. Biere, M. Seidl
Reference:
Model-Based Testing for Verification BackendsC. Artho, A. Biere, M. SeidlProc. 7th Intl. Conf. on Tests & Proofs (TAP'13), pages 17 pages, 2013, Springer.
Bibtex Entry:
@inproceedings{ArthoBiereSeidl-TAP13,
publisher = {Springer},
title = {Model-Based Testing for Verification Backends},
url = {/pubpdf/Model-Based_Testing_for_Verification_Backends.pdf},
series = {LNCS},
booktitle = {Proc.~7th Intl.~Conf.~on Tests \& Proofs (TAP'13)},
author = {C. Artho and A. Biere and M. Seidl},
year = {2013},
pages = {17 pages},
}
Powered by bibtexbrowser