Formalizing Interoperability Testing: Quiescence Management and Test Generation.
Alexandra DesmoulinCésar VihoPublished in: FORTE (2005)
Keyphrases
- test generation
- quality assurance
- test cases
- symbolic execution
- test sequences
- design automation
- information systems
- mutation testing
- code coverage
- software testing
- static analysis
- semantic web
- web services
- knowledge management
- test set
- quality control
- metadata
- test suite
- seamless integration
- regression testing
- test data generation
- database
- training set
- software engineering
- software development
- project management
- complex systems