An Efficient Abductive Reasoning System Based on Program Analysis

• Authors:

• Shohei Kato;Hirohisa Seki;Hidenori Itoh

• Affiliations:

• -;-;-

• Venue:
• WSA '93 Proceedings of the Third International Workshop on Static Analysis
• Year:
• 1993