Yoram Adler Eitan Farchi Moshe Klausner Dan Pelleg Orna Raz Moran Shochat Shmuel Ur Aviad Zlotnick Automated substring hole analysis. 203-206 2009 ICSE Companion http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070982 conf/icse/2009c db/conf/icse/icse2009c.html#AdlerFKPRSUZ09