- -

Listar por palabra clave "Matching logic"

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

Listar por palabra clave "Matching logic"

Ordenar por:Orden:Resultados:

  • thumb
    Automatic inference of specifications using matching logic 
    Alpuente Frasnedo, María; Feliú Gabaldón, Marco Antonio; Villanueva García, Alicia (Association for Computing Machinery (ACM), 2013-01-21)
    Formal specifications can be used for various software engineering activities ranging from finding errors to documenting software and automatic test-case generation. Automatically discovering specifications for heap-manipulating ...