Introduction
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging
Algorithmic Debugging and Hypothetical Reasoning
High-Level Views of Distributed Executions: Convex Abstract Events
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Desert Island Column
Introduction
Searching for a Global Search Algorithm
Specification and Animation of a Bank Transfer using KIDS/VDM
Interactive Explanation of Software Systems
Test Case Generation as an AI Planning Problem
Desert Island Column
Artificial Intelligence and Software Engineering: Breaking the Toy Mold
Toward A Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms
Representing Software Engineering Knowledge
Case-Based Knowledge Management Tools for Software Development
Applying AI to Software Renovation
Desert Island Column: Neglected Masterpieces
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Commentary on AbstFinder: A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Commentary on AbstFinder: A Prototype Natural Language Test Abstraction Finder for Use in Requirements Elicitation
Reply to Commentaries
Requirements and Specification Exemplars
Automatic Problem Description from Model Program for Knowledge-based Programming Tutor
Desert Island Column
