Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
5
Data structures
3
Java programming language
3
Alloy
2
Code analysis
2
Computer software
2
DynAlloy
2
KodKod
2
Linked data structures
2
Orders of magnitude
2
Program translators
2
Propositional formulas
2
Propositional variables
2
SAT solvers
2
SAT-based bounded verification
2
SAT-based code analysis
2
Sequential programs
2
Software testing
2
Static analysis
2
Symbolic execution
2
Abstracting
1
Alloying
1
Atomic actions
1
Automated generation
1
Automated techniques
1
Black box test
1
Black-box testing
1
Case studies
1
Cerium alloys
1
Complex data structures
1
-
1Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Model checking...”
-
2Materias: “...Model checking...”
-
3Materias: “...Model checking...”
-
4por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Model checking...”
Publicado 2013
-
5por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Model checking...”
Publicado 2010