AADEBUG'2000 Fourth International Workshop on Automated Debugging