"Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of ..."

Tevfik Bultan, Tao Xie (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics