S. Anand, P. Godefroid, and N. Tillmann. Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2008)
G. Klauer, R. Melamed, A. Tillmann, and S. Kandsperger. Proceedings der Pre-Confernece Workshop der 4. E-Learning Fachtagung Informatik DeLFI 2006, page 107--114. Berlin, Logos Verlag, (2006)