Bogdan Korel George Koutsogiannakis Luay Ho Tahat Model-based test prioritization heuristic methods and their evaluation. 34-43 2007 conf/amost/2007 A-MOST http://doi.acm.org/10.1145/1291535.1291539 db/conf/amost/amost2007.html#KorelKT07