Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Transcoping
Alloy
4
Alloying
4
Automated test generation
4
Automated test generations
4
Bounded exhaustive testing
4
Korat
4
SAT solving
4
SAT-solving
4
Software testing
4
Specifications
4
Computer programming languages
2
Computer systems programming
2
Object oriented programming
2
Ciencias Informáticas
1
Field based testing
1
Symbolic execution
1
-
1por Godio, Ariel, Bengolea, Valeria, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías, Frias, Marcelo F.
Publicado 2020Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
2
-
3
-
4
-
5