Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Parameter estimation
Mathematical models
4
Abstracting
2
Algebra
2
Algorithms
2
Behavioral research
2
Computer software
2
Concolic execution
2
Cosmological models
2
Differential equations
2
Encoding (symbols)
2
Equational theory
2
Explicit substitutions
2
First-order rewriting
2
Function evaluation
2
Generalized power series
2
Higher-order rewriting
2
Model-based testing
2
Nonlinear ordinary differential equations
2
Numerical methods
2
Parameterization
2
Parameterized unit testing
2
Problem solving
2
Symbolic computation
2
Symbolic execution
2
Test-case generation
2
-
1
-
2
-
3Materias: “...Symbolic execution...”
-
4Materias: “...Symbolic execution...”
CONF -
5Publicado 2005Materias: “...Encoding (symbols)...”
-
6Materias: “...Encoding (symbols)...”
JOUR