Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automated generation
1
Black box test
1
Black-box testing
1
Codes (symbols)
1
Complex inputs
1
Computational linguistics
1
Constraint Solving
1
Constraint-based
1
Coverable
1
Coverage criteria
1
Dynamic memory
1
Formal methods
1
Memory consumption
1
Memory manager
1
Model checking
1
Points-to analysis
1
Proof of concept
1
Resource consumption
1
Resource usage
1
Software testing
1
Specification languages
1
Specifications
1
State of the art
1
Static analyzers
1
Symbolic execution
1
Test case
1
Test case generation
1
Test criteria
1
Test generations
1
Testing
1
-
1Materias: “...Codes (symbols)...”
-
2Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputsMaterias: “...Symbolic execution...”