Deterministic execution debugging of concurrent Ada programs.
Kuo-Chung TaiRichard H. CarverEvelyn E. ObaidPublished in: COMPSAC (1989)
Keyphrases
- java programs
- concurrent execution
- execution traces
- runtime environment
- control flow
- concurrent programs
- novice programmers
- hardware designs
- program slicing
- concurrent processes
- programs written
- program execution
- database transactions
- software testing
- concurrent programming
- application programs
- symbolic execution
- data flow
- computer programs
- black box
- execution model
- java virtual machine
- data sets
- multi threaded
- model based diagnosis
- integrity constraints
- operating system
- automatic programming
- programming environment
- programming language