3 citations · 7 across the 9 of their papers we have counts for
9 papers
A-JIT: Agentic Just-In-Time Software Construction
Mark Marron, Earl T. Barr
Traditional software delivery assumes a static paradigm: code is constructed prior to execution and deployed as a fixed artifact. We present Agentic Just-In-Time Software Construct…
An Empirical Analysis of the Glob Ecosystem
Phyllis Lim, Connor Adkins, Mark Marron
Glob patterns, a domain-specific language for structured string matching, are a foundational yet understudied component of modern software development embedded in everything from b…
Independent Test Generation for RESTful APIs
S M Sadrul Islam Asif, James Chen, Kennett Puerto Diaz +2
Modern REST API testing relies on brittle sequences of calls to build system state. These multi-step tests suffer from non-determinism, poor scalability, and a "reachability tax" w…
SafeStrings: Representing Strings as Structured Data
David Kelly, Mark Marron, David Clark +1
Strings are ubiquitous in code. Not all strings are created equal, some contain structure that makes them incompatible with other strings. CSS units are an obvious example. Worse,…
Are My Invariants Valid? A Learning Approach
Vincent J. Hellendoorn, Premkumar T. Devanbu, Oleksandr Polozov +1
Ensuring that a program operates correctly is a difficult task in large, complex systems. Enshrining invariants -- desired properties of correct execution -- in code or comments ca…
McFly: Time-Travel Debugging for the Web
John Vilk, Emery D. Berger, James Mickens +1
Time-traveling debuggers offer the promise of simplifying debugging by letting developers freely step forwards and backwards through a program's execution. However, web application…