Author: International Workshop on Automated and Algorithmic Debugging (1st 1993 Linköping, Sweden)