Godboley, Sangharatna; Dutta, Arpita; Mohapatra, Durga … - In: International Journal of Knowledge Discovery in … 7 (2017) 1, pp. 14-29
Branch Coverage and Modified Condition/Decision Coverage uses concolic testing. We have proposed a novel transformation …