"Residual dynamic typestate analysis exploiting static analysis: results to ..."

Matthew B. Dwyer, Rahul Purandare (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics