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 Formulating software engineering as a search problem. 161-175 2003 150 IEE Proceedings - Software 3 db/journals/iee/iee-s150.html#ClarkeDHHJLMMRRS03