A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.
Huo Yan ChenLin TanT. H. TsePublished in: CSSE (2) (2008)
Keyphrases
- symbolic execution
- test cases
- database
- control flow
- representation scheme
- detection scheme
- specification language
- higher order
- knowledge base
- image compression
- execution traces
- program execution
- static analysis
- formal verification
- concurrent programs
- neural network
- semantics of logic programs
- early vision
- programming environment
- classification scheme
- object oriented
- expert systems
- e learning
- data sets