1 citations · 1 across the 3 of their papers we have counts for
5 papers · 1 filter
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…
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…
TOGA: A Neural Method for Test Oracle Generation
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz +1
Testing is widely recognized as an important stage of the software development lifecycle. Effective software testing can provide benefits such as bug finding, preventing regression…
Program Merge Conflict Resolution via Neural Transformers
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani +6
Collaborative software development is an integral part of the modern software development life cycle, essential to the success of large-scale software projects. When multiple devel…
DeepMerge: Learning to Merge Programs
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy +3
In collaborative software development, program merging is the mechanism to integrate changes from multiple programmers. Merge algorithms in modern version control systems report a…