- -

Listar por palabra clave "Program repair"

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

Listar por palabra clave "Program repair"

Ordenar por:Orden:Resultados:

  • thumb
    Imposing Assertions in Maude via Program Transformation 
    Alpuente Frasnedo, María; Ballis, Demis; Sapiña-Sanchis, Julia (Elsevier, 2019)
    [EN] Program transformation is widely used for producing correct mutations of a given program so as to satisfy the user's intent that can be expressed by means of some sort of specification (e.g. logical assertions, ...
  • thumb
    Static Correction of Maude Programs with Assertions 
    Alpuente Frasnedo, María; Ballis, D.; Sapiña Sanchis, Julia (Universitat Politècnica de València, 2018-04-12)
    In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that ...
  • thumb
    Static correction of Maude programs with assertions 
    Alpuente Frasnedo, María; Ballis, D.; Sapiña-Sanchis, Julia (Elsevier, 2019-07)
    [Otros] In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification of the program behavior ...