Integrating Verification and Testing of Object-Oriented Software.
Christian EngelChristoph GladischVladimir KlebanovPhilipp RümmerPublished in: TAP (2008)
Keyphrases
- object oriented software
- data flow
- design patterns
- object oriented
- software architecture
- regression testing
- software development
- symbolic execution
- software engineering
- model checking
- formal verification
- face verification
- test cases
- neural network
- relational databases
- genetic algorithm
- information retrieval
- machine learning
- learning objects
- user interface
- decision making
- signature verification
- learning algorithm
- test generation
- verification method