Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
4
Java programming language
3
Alloy
2
Code analysis
2
Computer software
2
Data structures
2
DynAlloy
2
KodKod
2
Linked data structures
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
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 inputs
1
Computer software reusability
1
Computer software selection and evaluation
1
-
1Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Model checking...”
SER -
2Materias: “...Model checking...”
SER -
3Materias: “...Model checking...”
JOUR -
4Materias: “...Model checking...”
CONF