Zeina Awedikian Kamel Ayari Giuliano Antoniol MC/DC automatic test input data generation. 1657-1664 2009 GECCO http://doi.acm.org/10.1145/1569901.1570123 conf/gecco/2009g db/conf/gecco/gecco2009.html#AwedikianAA09