A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.
Soon-Kyeong KimLuke WildmanRoger DukePublished in: Australian Software Engineering Conference (2005)
Keyphrases
- test sequences
- concurrent systems
- temporal logic
- distributed systems
- test cases
- model checking
- video sequences
- process algebra
- formal specification
- mutation testing
- bit rate
- transition systems
- software systems
- uml models
- sequence diagrams
- test generation
- petri net
- database design
- lightweight
- software engineering
- object oriented
- class diagrams
- learning algorithm
- data sets
- database
- formal methods
- test set
- building blocks
- uml class diagrams
- database systems