Skip to main content

Search Based Software Engineering

Mark Harman ( University College, London )

Engineering is about optimisation. Until comparatively recently there was some doubt as to whether software really was an engineering material; why would one want to optimise something that could be made perfect by pure logical reasoning? A consequence of this doubt was that some wondered whether there was even such a thing as “Software Engineering”. More recently, many have come to realise that, above a certain scale, reasoning about programs gives way to reasoning about software; while small programs may be, in some sense, perfect, software is unlikely ever to be.  Neither software products nor the processes that produce them are perfect, because the world is not perfect. Nevertheless  they must be relied upon. How can we manage this situation? In this talk, I will explain one approach to Software Engineering, grounded strongly in an optimisation world-view of engineering that has come to be known as “Search Based Software Engineering" (SBSE).

Speaker bio

Mark Harman is professor of Software Engineering in the Department of Computer Science at University College London where he directs the CREST centre. He is widely known for work on source code analysis and testing and was instrumental in the founding of the field of Search Based Software Engineering (SBSE), the topic of this talk. Since its inception in 2001, SBSE has rapidly grown to include over 800 authors, from 270 institutions spread over 40 countries.

 

 

Share this: