Property-Oriented Test Generation from UML Statecharts.
Shuhao LiJi WangZhi-Chang QiPublished in: ASE (2004)
Keyphrases
- test generation
- test cases
- regression testing
- design automation
- sequence diagrams
- symbolic execution
- class diagrams
- test sequences
- static analysis
- software testing
- quality assurance
- mutation testing
- conceptual modeling
- software systems
- object oriented
- uml models
- metamodel
- test data generation
- software development
- testing process
- software engineering
- real world
- multi agent
- code coverage
- information systems