6 citations · 8 across the 5 of their papers we have counts for
5 papers
Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
Charles Moloney, Robert Dyer, Elena Sherman
The SV-COMP competition provides a state-of-the-art platform for evaluating software verification tools on a standardized set of verification tasks. Consequently, verifier developm…
Data-Driven Evidence-Based Syntactic Sugar Design
David OBrien, Robert Dyer, Tien N. Nguyen +1
Programming languages are essential tools for developers, and their evolution plays a crucial role in supporting the activities of developers. One instance of programming language…
Method Chaining Redux: An Empirical Study of Method Chaining in Java, Kotlin, and Python
Ali M. Keshk, Robert Dyer
There are possible benefits and drawbacks to chaining methods together, as is often done in fluent APIs. A prior study investigated how Java developers chain methods in over 2.7k o…
An Exploratory Study on the Predominant Programming Paradigms in Python Code
Robert Dyer, Jigyasa Chauhan
Python is a multi-paradigm programming language that fully supports object-oriented (OO) programming. The language allows writing code in a non-procedural imperative manner, using…
Escaping the Time Pit: Pitfalls and Guidelines for Using Time-Based Git Data
Samuel W. Flint, Jigyasa Chauhan, Robert Dyer
Many software engineering research papers rely on time-based data (e.g., commit timestamps, issue report creation/update/close dates, release dates). Like most real-world data howe…