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.
Alloy
Alloying
12
DynAlloy
8
Propositional formulas
8
Software testing
8
Static analysis
8
Ciencias Informáticas
7
Code analysis
6
Computer programming languages
6
Formal logic
6
SAT-based code analysis
6
SAT-solving
6
Tools
6
Alloy analyzers
4
Alloys
4
Automated test generation
4
Automated test generations
4
Automatic analysis
4
Automation
4
Bounded exhaustive testing
4
Cerium alloys
4
Data structures
4
Dynamic logic
4
Java programming language
4
KodKod
4
Korat
4
Linked data structures
4
Model checking
4
Propositional variables
4
SAT solving
4
-
1por Dania, Carolina Inés
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2
-
3
-
4
-
5
-
6por Zheng, Guolong, Nguyen, ThanhVu, Gutiérrez Brida, Simón, Regis, Germán, Frias, Marcelo F., Aguirre, Nazareno Matías, Bagheri, Hamid
Publicado 2021Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
7por Zheng, Guolong, Nguyen, ThanhVu, Gutiérrez Brida, Simón, Regis, Germán, Aguirre, Nazareno Matías, Frias, Marcelo F., Bagheri, Hamid
Publicado 2022Aportado por: SEDICI (UNLP)Objeto de conferencia Resumen -
8
-
9
-
10
-
11
-
12
-
13
-
14por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado 2013 -
15
-
16
-
17
-
18
-
19por Dania, Carolina Inés
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
20