EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software implementation. Unfortunately, software many times lacks such specificatio...
Guardado en:
| Autores principales: | Molina, Facundo, Ponzio, Pablo, Aguirre, Nazareno, Frías, Marcelo |
|---|---|
| Formato: | Ponencias en Congresos acceptedVersion |
| Lenguaje: | Inglés |
| Publicado: |
2022
|
| Materias: | |
| Acceso en línea: | http://ri.itba.edu.ar/handle/123456789/3903 |
| Aporte de: |
Ejemplares similares
-
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
por: Molina, Facundo, et al.
Publicado: (2021) -
Improving lazy abstraction for SCR specifications through constraint relaxation
por: Degiovanni, Renzo, et al.
Publicado: (2020) -
Java algorithms /
por: Ladd, Scott Robert
Publicado: (1997) -
An evolutionary approach to translating operational specifications into declarative specifications
por: Molina, Facundo, et al.
Publicado: (2020) -
Automated workarounds from Java Program specifications based on SAT solving
por: Uva, Marcelo, et al.
Publicado: (2020)