Andrea Arcuri, Per Kristian Lehre, Xin Yao. Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification Problem. In First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. pages 161-169, IEEE Computer Society, 2008. [doi]
Abstract is missing.