Vilas Jagannath Yun Young Lee Brett Daniel Darko Marinov Reducing the Costs of Bounded-Exhaustive Testing. 171-185 2009 FASE https://doi.org/10.1007/978-3-642-00593-0_12 conf/fase/2009 db/conf/fase/fase2009.html#JagannathLDM09