Man Xiao, Mohamed El-Attar, Marek Reformat, James Miller. Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques. Empirical Software Engineering, 12(2):183-239, 2007. [doi]
Abstract is missing.