Godboley, Sangharatna (2017) Driving Concolic Testing to achieve higher MC/DC through source code transformations. PhD thesis.
