Redirecting you to http://fsl.cs.uiuc.edu/pubs/lee-chen-rosu-2011-icse.pdf