Anna Ding

Anna Ding

Home Institution
The University of Illinois at Urbana-Champaign

Year Participated

Year in School

REU Faculty Mentor
Tianyin Xu

Research Area Interest
Programming Languages, Formal Methods, and Software Engineering

Project Title

Biography & Research Abstract


To properly test programs, developers write test properties in unit and parameterized unit tests. Test properties consist of assumptions and assertions about the input and output parameters of the program under test. However, manually deriving test properties is tedious and error-prone. Hence, automatically synthesizing test properties is crucial to helping developers write better tests. To take the first step in this direction, we studied test properties in 43 C# open-source projects. Our preliminary observations indicate that unit tests are used more often than PUTs in writing test properties, assertion counts are inconsistent across projects, and additional test properties are often missing in test methods.


Anna is a rising sophomore CS major at Harvey Mudd College from Champaign, Illinois. She's interested in learning more about how computer science can be used to mitigate climate change. In her free time, she enjoys rock climbing, traveling, baking, and adventuring.