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.
SEBASE was an EPSRC-funded collaborative project between University College London, University of Birmingham and University of York. It ran from 2006 to 2011. The report from the final steering committee meeting can be downloaded from here.