project for automated debugging