Formulating software engineering as a search problem. - John A. Clark; José Javier Dolado; Mark Harman; Robert M. Hierons; Bryan F. Jones; M. Lumkin; Brian S. Mitchell; Spiros Mancoridis; K. Rees; Marc Roper; Martin J. Shepperd (IEE Proc. Softw., 2003)