Generating Test Sequences from Statecharts for Concurrent Program Testing.
Heui-Seok SeoIn Sang ChungYong Rae KwonPublished in: IEICE Trans. Inf. Syst. (2006)
Keyphrases
- test sequences
- test generation
- test cases
- symbolic execution
- mutation testing
- regression testing
- static analysis
- test suite
- software testing
- concurrent programs
- testing process
- sequence diagrams
- video sequences
- quality assurance
- test set
- computer programs
- bit rate
- source code
- software development
- class diagrams
- computer vision