Extension Language Automation of Embedded System Debugging Dale ParsonBryan SchliederPaul Beatty OriginalPaper Pages: 7 - 39
Static and Dynamic Slicing of Constraint Logic Programs Gyöngyi SzilágyiTibor GyimóthyJan Małuszyński OriginalPaper Pages: 41 - 65
Kima: An Automated Error Correction System for Concurrent Logic Programs Yasuhiro AjiroKazunori Ueda OriginalPaper Pages: 67 - 94
Non-Intrusive Detection of Synchronization Errors Using Execution Replay Michiel RonsseKoen De Bosschere OriginalPaper Pages: 95 - 121