Automated Test Generation

The increasing competition pressure for rapid introduction of new or modified system versions is posing problems to properly testing software. These pressures have led many organizations to transitioning their development processes to agile development and continuous integration, greatly shortening the time available to conduct comprehensive testing. This course provides an understanding of automated software testing using program analysis with the goal of intelligently and algorithmically creating tests. The course covers search-based test generation, combinatorial and random testing while highlighting the challenges associated with the use of automatic test generation. The course is based on individual study, beginning with a single introductory roll-call session.