3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2016
Symbolic Abstract Contract Synthesis in a Rewriting Framework
María Alpuente, Daniel Pardo, Alicia Villanueva
We propose an automated technique for inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based struct…
cs.PL2015★ 3 cited
Automatic Inference of Specifications in the K Framework
María Alpuente, Daniel Pardo, Alicia Villanueva
Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write for…