Thoroughness of Specification-Based Testing of Synchronous Programs.
Ioannis ParissisJérôme VassyPublished in: ISSRE (2003)
Keyphrases
- symbolic execution
- provably correct
- object oriented programs
- test case generation
- formal verification
- specification language
- test cases
- integration testing
- code generation
- test data
- fixpoint
- software testing
- java programs
- control flow
- neural network
- computer programs
- test set
- logic programs
- training set
- expert systems
- bayesian networks
- high level
- case study
- learning algorithm