SEBASE: Software Engineering By Automated SEarch

The SEBASE project aimed to provide a new approach to the way in which software engineering is understood and practised. Its goal was to move software engineering problems from human-based search to machine-based search. As a result, human effort moves up the abstraction chain, to focus on guiding the automated search, rather than performing it. This project addressed key issues in software engineering, including scalability, robustness, reliability and stability. It also studied theoretical foundations of search algorithms and apply the insights gained to develop more effective and efficient search algorithms for large and complex software engineering problems. These insights from the project had a major impact on the search algorithm community as well as the software engineering community.

Return to Projects