Search-Based Testing: Automating White-Box Testing

This thesis is concerned with the problem of automatic test data generation for structural testing criteria, in particular the branch coverage adequacy criterion, using search-based techniques. The primary objective of this thesis is to advance the current state-of-the-art in automated search-based structural testing. Despite the large body of work within the field of search-based testing, the accompanying literature remains without convincing solutions for several important problems, including: support for pointers, dynamic data structures, and loop-assigned flag variables. Furthermore, relatively little work has been done to extend search-based testing to multi-objective problem formulations.