Isolating bugs in multithreaded programs using execution suppression.
Dennis JeffreyYan WangChen TianRajiv GuptaPublished in: Softw. Pract. Exp. (2011)
Keyphrases
- program execution
- symbolic execution
- programs written
- control flow
- source code
- database transactions
- static analysis
- mutual exclusion
- automatic programming
- multithreading
- edge detection
- databases
- programming environment
- software systems
- application programs
- execution model
- image processing
- software projects
- multi user
- data flow
- computer programs
- case study
- web services