A controlled experiment for program comprehension through trace visualization