Do, Khoo, Fong, Pears, Quan, 2015. Goal-oriented dynamic test generation 66.. https://doi.org/10.1016/j.infsof.2015.05.007