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...”
JOUR -
2Materias: “...Automated test generation...”
JOUR -
3Materias: “...Automated analysis...”
SER -
4Materias: “...Automated test generation...”
CONF -
5Materias: “...Automation...”
CONF -
6Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Automated generation...”
SER -
7Materias: “...Automated techniques...”
CONF