Ajitha Rajan Michael W. Whalen Mats Per Erik Heimdahl The effect of program and model structure on mc/dc test adequacy coverage. 161-170 2008 ICSE http://doi.acm.org/10.1145/1368088.1368111 conf/icse/2008 db/conf/icse/icse2008.html#RajanWH08