A Test Case Generation Method for Concurrent Programs.
Noriyasu ArakawaTerunao SoneokaPublished in: Protocol Test Systems (1991)
Keyphrases
- generation method
- concurrent programs
- test cases
- concurrent programming
- test data
- test case selection
- test case generation
- black box
- test sequences
- set of test cases
- process algebra
- test data generation
- regression testing
- test generation
- test suite reduction
- software testing
- test suite
- number of test cases
- web applications
- test set
- formal specification
- concurrent processes
- object oriented
- case study
- machine learning
- knowledge base
- model checking