Deterministic execution testing of concurrent Ada programs.
Richard H. CarverKuo-Chung TaiPublished in: TRI-Ada (1989)
Keyphrases
- symbolic execution
- concurrent programs
- concurrent processes
- concurrent execution
- control flow
- runtime environment
- test data generation
- software testing
- test generation
- testing process
- concurrent programming
- program execution
- test cases
- data flow
- set of test cases
- data sets
- programming environment
- static analysis
- source code
- turing machine
- petri net
- test set
- information systems