Using Symbolic Execution for Verification of Ada Tasking Programs.
Laura K. DillonPublished in: ACM Trans. Program. Lang. Syst. (1990)
Keyphrases
- symbolic execution
- test generation
- static analysis
- test data generation
- specification language
- source code
- data flow
- test cases
- open source
- description language
- simulated annealing algorithm
- neural network
- data sets
- relational databases
- database
- training data
- case study
- artificial intelligence
- generation algorithm
- real world