MC/DC automatic test input data generation. - Zeina Awedikian; Kamel Ayari; Giuliano Antoniol (GECCO, 2009)