- -

Listar por palabra clave "Trace slicing"

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

Listar por palabra clave "Trace slicing"

Ordenar por:Orden:Resultados:

  • thumb
    Backward Trace Slicing for Rewriting Logic Theories -Technical report - 
    Alpuente Frasnedo, María; Ballis, D.; Espert, J.; Romero, D. (Universitat Politècnica de València, 2011-04-19)
    Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used ...
  • 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 ...
  • thumb
    Slicing slices, an incremental backward trace slicing methodology for rwl computations 
    Sapiña Sanchis, Julia (Universitat Politècnica de València, 2014-11-28)
    [EN] Execution traces are an important source of information for program understanding and debugging. However, they have as an important drawback that they are commonly huge and complex, making their manual analysis ...
  • thumb
    Using conditional trace slicing for improving Maude programs 
    Alpuente Frasnedo, María; Ballis, Demis; Frechina, F.; Romero, Daniel Omar (Elsevier, 2014-02-01)
    [EN] Understanding the behavior of software is important for the existing software to be improved. In this paper, we present a trace slicing technique that is suitable for analyzing complex, textually-large computations ...
  • thumb
    Verificación de aplicaciones web dinámicas con Web-TLR 
    Espert Real, Javier (Universitat Politècnica de València, 2011-07-20)
    Web-TLR is a software tool designed for model-checking Web applications that is based on rewriting logic. Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR ...