"International Symposium on Software Testing and Analysis, ISSTA '14, San ..."

Corina S. Pasareanu, Darko Marinov (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics