Falcon: fault localization in concurrent programs.
Sangmin ParkRichard W. VuducMary Jean HarroldPublished in: ICSE (1) (2010)
Keyphrases
- fault localization
- concurrent programs
- model based diagnosis
- process algebra
- program understanding
- concurrent programming
- fault detection
- software testing
- data abstraction
- web applications
- concurrent processes
- model checking
- neural network
- programming language
- concurrent systems
- communication protocols
- database applications
- case study
- knowledge base