"Transferring an automated test generation tool to practice: from pex to ..."

Nikolai Tillmann, Jonathan de Halleux, Tao Xie (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics