Verification and testing in an object-oriented CS2 course.
William J. CollinsPublished in: OOPS Messenger (1993)
Keyphrases
- symbolic execution
- test generation
- formal verification
- object oriented
- computer science
- model checking
- user interface
- artificial intelligence
- signature verification
- face verification
- test cases
- test set
- query language
- artificial neural networks
- search algorithm
- fingerprint verification
- machine learning
- false acceptance rate