"Automated generation of directed tests for transition coverage in cache ..."

Xiaoke Qin, Prabhat Mishra (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics