1.6k citations
- University of Massachusetts AmherstUS10 papers
- Massachusetts Institute of TechnologyUS6 papers
- Pennsylvania State UniversityUS6 papers
- Rice UniversityUS6 papers
- Universidad de SevillaES6 papers
- Wesleyan UniversityUS6 papers
- Agnes Scott CollegeUS5 papers
- Goddard Space Flight CenterUS5 papers
- Max Planck Institute for AstronomyDE5 papers
- California Institute of TechnologyUS4 papers
- Georgia Institute of TechnologyUS4 papers
- University of Maryland, College ParkUS4 papers
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2023★ 7 cited
MELT: Mining Effective Lightweight Transformations from Pull Requests
Daniel Ramos, Hailie Mitchell, Inês Lynce +3
Software developers often struggle to update APIs, leading to manual, time-consuming, and error-prone processes. We introduce MELT, a new approach that generates lightweight API mi…
cs.SE2016★ 2 cited
Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements
Tim Wahls
The EventB2SQL tool translates Event-B models to persistent Java applications that store the state of the model in a relational database. Most Event-B assignments are translated di…
cs.SE2013★ 5 cited
A Machine-Checked Proof for a Translation of Event-B Machines to JML
Néstor Cataño, Camilo Rueda, Tim Wahls
We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EventB2Jml that maps Evnet-B e…