Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
7
Level of abstraction
3
Source codes
3
Specifications
3
Abstraction techniques
2
Behaviour models
2
Black boxes
2
Branch coverage
2
Computer software
2
Conformance testing
2
Coverage criteria
2
Enabledness abstractions
2
Finite model
2
Industrial strength
2
Non-trivial
2
Novel techniques
2
Protocol specifications
2
Semantics
2
Software engineering
2
Software testing
2
Specification languages
2
automated abstraction
2
API call protocol
1
API calls
1
Adequacy criteria
1
Admissible sequences
1
Based specification
1
Behavior model
1
Behaviour validation
1
Black-box testing
1
-
1Materias: “...automated abstraction...”
-
2Materias: “...automated abstraction...”
-
3Materias: “...Finite-state abstraction...”
-
4Materias: “...Enabledness abstractions...”
-
5Materias: “...enabledness-preserving abstractions...”
-
6Materias: “...Enabledness abstractions...”
-
7Materias: “...Abstraction techniques...”
-
8Materias: “...Abstracting...”
-
9Materias: “...Abstracting...”