Mathematical Execution: A Unified Approach for Testing Numerical Code.
Zhoulai FuZhendong SuPublished in: CoRR (2016)
Keyphrases
- code generation
- symbolic execution
- testing process
- data flow
- control flow
- test cases
- unit testing
- software testing
- open source
- source code
- test set
- numerical data
- static analysis
- concurrent programs
- real time
- execution model
- test generation
- sensitivity analysis
- test data
- case study
- artificial intelligence
- plan generation
- error correcting
- mathematical expressions
- neural network
- databases