Debugging Concurrent Ada Programs by Deterministic Execution.
Kuo-Chung TaiRichard H. CarverEvelyn E. ObaidPublished in: IEEE Trans. Software Eng. (1991)
Keyphrases
- concurrent execution
- java programs
- hardware designs
- runtime environment
- control flow
- execution traces
- program execution
- programs written
- concurrent programs
- concurrent processes
- novice programmers
- execution model
- database languages
- data flow
- black box
- application programs
- symbolic execution
- database transactions
- turing machine
- control program
- parallel computation
- computer programs
- model based diagnosis
- petri net
- mutual exclusion
- software testing
- data sets
- programming environment
- fixpoint semantics
- programming exercises
- program slicing
- operating system
- lower bound
- neural network