Welcome to the DIDUCE home page

DIDUCE is a tool for debugging Java programs.

Information on the DIDUCE discussion list. Please send email to this list if you have questions. Thanks.
Here is a pointer to the DIDUCE paper presented at ICSE-2002 .

A screenshot:

DIDUCE screenshot

Contact: Sudheendra Hangal, hangal @ cs . stanford . edu (remove spaces from email address)