The University of Illinois at Urbana-Champaign
Year in School
REU Faculty Mentor
Research Area Interest
Programming Languages, Formal Methods, and Software Engineering
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.