Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software testing
Abstracting
1
Alloy
1
Alloying
1
Automated test generation
1
Automated test generations
1
Black boxes
1
Bounded exhaustive testing
1
Branch coverage
1
Computer programming languages
1
Computer systems programming
1
Conformance testing
1
Coverage criteria
1
Failure detection
1
Korat
1
Non-trivial
1
Object oriented programming
1
SAT solving
1
SAT-solving
1
Semantics
1
Specification languages
1
Specifications
1
Transcoping
1
conformance testing
1
coverage criteria
1
object protocols
1
-
1Materias: “...object protocols...”
CONF -
2Materias: “...Object oriented programming...”
CONF