7 citations · 18 across the 11 of their papers we have counts for
3 papers · 1 filter
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…
Partial Evaluation of Order-sorted Equational Programs modulo Axioms
Maria Alpuente, Angel Cuenca, Santiago Escobar +1
Partial evaluation (PE) is a powerful and general program optimization technique with many successful applications. However, it has never been investigated in the context of expres…
Assertion-based Analysis via Slicing with ABETS (System Description)
M. Alpuente, D. Ballis, F. Frechina +1
We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run's exe…