@incollection{Tim06k, author = {Timm, I. J. and Scholz, T. and F{\"u}rstenau, H.}, title = {From Testing to Theorem Proving}, publisher = {Springer}, year = {2006}, booktitle = {Multiagent Engineering}, editor = {Kirn, P. D. S. and Herzog, P. D. O. and Lockemann, P. D. P. and Spaniol, P. D. O.}, doi = {10.1007/3-540-32062-8_25}, pages = {531-554} }