"Formal Approaches to Software Testing and Runtime Verification, First ..."

Klaus Havelund et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics