Validation and Test Generation for Object-Oriented Distributed Software.
Thierry JéronJean-Marc JézéquelAlain Le GuennecPublished in: PDSE (1998)
Keyphrases
- test generation
- test cases
- object oriented
- software testing
- quality assurance
- static analysis
- programming interface
- software development
- test sequences
- symbolic execution
- test data generation
- distributed systems
- software systems
- design automation
- software engineering
- test set
- relational databases
- test suite
- design patterns
- source code
- regression testing
- industry standard
- database applications
- programming language
- data model
- testing process
- multi agent
- software components
- quality control
- database systems
- query language
- user interface
- error rate