TY - JOUR T1 - Reformulating software engineering as a search problem JO - IEE Proceedings - Software PY - -0001/11/30 AU - Clarke J AU - Dolado JJ AU - Harman M AU - Hierons R AU - Jones B AU - Lumkin M AU - Mitchell B AU - Mancoridis S AU - Rees K AU - Roper M AU - Shepperd M ED - DO - DOI: 10.1049/ip-sen:20030559 PB - Institution of Engineering and Technology (IET) VL - 150 IS - 3 SP - 161 EP - 161 Y2 - 2025/05/21 ER -