Login / Signup
Advancing Scientific Computation by Improving Scientific Code Development: Symbolic Execution and Semantic Analysis.
Mark Stewart
Published in:
International Conference on Computational Science (1) (2005)
Keyphrases
</>
semantic analysis
symbolic execution
semantic information
data mining
artificial intelligence
natural language
static analysis
natural language understanding
data sets
case study
general purpose
genetic programming
test set
data flow
test generation
test data generation