33 citations · 166 across the 51 of their papers we have counts for
3 papers · 1 filter
Symbolic Register Automata
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino +1
Symbolic Finite Automata and Register Automata are two orthogonal extensions of finite automata motivated by real-world problems where data may have unbounded domains. These automa…
Program Repair via Direct State Manipulation
Qinheping Hu, Isaac Evavold, Roopsha Samanta +2
The goal of program repair is to automatically fix programs to meet a specification. We propose a new specification mechanism, direct manipulation, in which the programmer can visu…
Learning Quick Fixes from Code Repositories
Reudismam Rolim, Gustavo Soares, Rohit Gheyi +2
Code analyzers such as Error Prone and FindBugs detect code patterns symptomatic of bugs, performance issues, or bad style. These tools express patterns as quick fixes that detect…