Model-Based Software Testing via Incremental Treatment Learning. - Dustin Geletko; Tim Menzies (SEW, 2003)