Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
5
Software testing
4
Computer programming languages
3
SAT-solving
3
Specifications
3
Alloying
2
Automated test generation
2
Automated test generations
2
Automation
2
Bounded exhaustive testing
2
DynAlloy
2
Dynamic logic
2
Formal logic
2
Korat
2
Model checking
2
SAT solving
2
Transcoping
2
Abstracting
1
Algebra
1
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis and verifications
1
Automated analysis
1
Automated generation
1
Automated techniques
1
Automatic analysis
1
Black box test
1
Black-box testing
1
Calculations
1
-
1Materias: “...Automation...”
-
2Materias: “...Automated test generation...”
-
3Materias: “...Automated analysis...”
-
4Materias: “...Automated test generation...”
-
5Materias: “...Automation...”
-
6Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Automated generation...”
-
7por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Automated techniques...”
Publicado 2010