We are currently collecting comments, criticisms, and testimonials for the evaluation of our efforts by our public funders. If you want to share any thoughts that we may use in our report, please feel free to send us your comments!
Kostas Kontogiannis, Peter G. Selfridge: Workshop Report: The Two-Day Workshop on Research Issues in the Intersection between Software Engineering and Artificial Intelligence (Held in conjunction with ICSE-16).87-97
Volume 2, Number 2, June 1995
William W. Cohen: Inductive Specification Recovery: Understanding Software by Learning from Example Behaviors.107-129
Robert J. Hall: Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization.131-166