3. AADEBUG 1997: Linköping, Sweden

Mariam Kamkar (Ed.): AADEBUG '97, Proceedings of the Third International Workshop on Automatic Debugging, Linköping, Sweden, May 26-27, 1997. Linköping Electronic Articles in Computer and Information Science, ISSN 1401-9841, Vol. 2, No. 009, URL http://www.ep.liu.se/ea/cis/1997/009/

Mariam Kamkar: Preface

Invited Speaker

Run-Time Checking and Debugging Optimized Code

Program Slicing and Software Testing

Knowledge-Based Debugging

Invited Speaker

Diagnosis of Constraint Programs

Invited Paper

Position Papers