Automatic Inference of Specifications in the K Framework

by María Alpuente, Daniel Pardo, Alicia Villanueva
Published 2015-12-01

Imposing assertions in Maude via program transformation

by María Alpuente, Demis Ballis, Julia Sapiña
Published 2019-01-01

Un depurador abstracto, inductivo y paramétrico para programas multiparadigma

by María Alpuente Frasnedo, Francisco José Correa Zabala
Published 2004-12-01

Debugging of Web Applications with Web-TLR

by María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero
Published 2011-08-01