Software Engineering By Automated SEarch (SEBASE)

The SEBASE project aims to provide a new approach to the way in which software engineering is understood and
practised. It will move software engineering problems from human-based search to machine-based search. As a result,
human effort will move up the abstraction chain, to focus on guiding the automated search, rather than performing it. This
project will address key issues in software engineering, including scalability, robustness, reliability and stability. It will also
study 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. Such insights will have a major impact on the
search algorithm community as well as the software engineering community.

Further information about the project can be found here.

Principal Investigator

Prof. Mark Harman


  • Dr Yuanyuan Zhang
  • Dr William Langdon
  • Dr Shin Yoo


  • University of Birmingham, School of Computer Science
  • University of York, Dept. of Comuter Science


This project is funded by the EPSRC. UCL is the lead partner.

This page was last modified on 09 Jan 2012.