A Test-case Generation Method for Concurrent Programs Including Task-types.
Tetsuro KatayamaZengo FurukawaKazuo UshijimaPublished in: APSEC (1997)
Keyphrases
- test cases
- generation method
- concurrent programs
- test data
- regression testing
- test suite
- test case selection
- software testing
- test suite reduction
- test generation
- test case generation
- black box
- test data generation
- test sequences
- number of test cases
- learning algorithm
- test set
- concurrent programming
- general purpose
- set of test cases
- data model
- database systems