3 papers
cs.CV2026
Counting Machine Parts
Benedict Florance Arockiaraj, Elizabeth Dinella, Ankit Billa +1
Counting objects in an image is a task applicable across many domains. For instance, crowd counting, inventory counting, and cell counting have been the focus of recent research. T…
cs.SE2026
On the Effectiveness of Modular Testing in EvoSuite
Elizabeth Dinella
This paper explores the effectiveness of modular randomized testing for object oriented programs in Java. Modular testing involves testing individual components of a program in iso…
cs.SE2024
Program Structure Aware Precondition Generation
Elizabeth Dinella, Shuvendu Lahiri, Mayur Naik
We introduce a novel approach for inferring natural preconditions from code. Our technique produces preconditions of high quality in terms of both correctness (modulo a test genera…