Using UML Collaboration Diagrams for Static Checking and Test Generation.
Aynur AbdurazikA. Jefferson OffuttPublished in: UML (2000)
Keyphrases
- test generation
- sequence diagrams
- test cases
- class diagrams
- uml diagrams
- uml class diagrams
- regression testing
- unified modeling language
- class diagram
- symbolic execution
- software testing
- design automation
- static analysis
- test sequences
- software design
- quality assurance
- software development
- database design
- software engineering
- mutation testing
- testing process
- object oriented
- modeling language
- software systems
- design patterns
- petri net
- test data generation
- knowledge management
- multi agent
- reverse engineering
- relational databases
- information technology
- training data
- code coverage
- decision trees