Fault Localization of Concurrency Bugs and Its Application in Web Security.

Published in: ICA3PP (2) (2014)

Keyphrases

fault localization
security vulnerabilities
software testing
test cases
program understanding
access control
source code
database systems
model based diagnosis
program slicing
security requirements
concurrency control
software systems
fault detection
dynamic systems
distributed environment
data mining