Perry Alexander Corina S. Pasareanu John G. Hosking 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011 IEEE 2011 978-1-4577-1638-6 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6093623 ASE db/conf/kbse/ase2011.html