- -

Listar por palabra clave "Program diagnosis and debugging"

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

Listar por palabra clave "Program diagnosis and debugging"

Ordenar por:Orden:Resultados:

  • thumb
    Debugging Maude programs via runtime assertion checking and trace slicing 
    Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Sapiña-Sanchis, Julia (Elsevier, 2016-08)
    In this paper we propose a dynamic analysis methodology for improving the diagnosis of erroneous Maude programs. The key idea is to combine runtime checking and dynamic trace slicing for automatically catching errors at ...