Search-Based 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.

Autorentext

Kiran Lakhotia is a Research Associate in the CREST centre at University College London. He is working in the field of Search-Based Software Testing and in particular automated test data generation. In 2009 he received his PhD in Computer Science from King's College London.