Title: Automated and algorithmic debugging
Subjects: Congresses, Debugging in computer science