- -

Listar por palabra clave "Assertion Chackin"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Assertion Chackin"

Ordenar por:Orden:Resultados:

  • thumb
    Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis 
    Alpuente Frasnedo, María; Ballis, Demis; Frechina Navarro, Francisco; Sapiña Sanchis, Julia (2015-08)
    This paper introduces the idea of using assertion checking for enhancing the dynamic slicing of Maude computation traces. Since trace slicing can greatly simplify the size and complexity of the analyzed traces, our methodology ...