Systematic bug finding and fault localization enhanced with input data tracking.

Jared D. DeMott Richard J. Enbody William F. Punch

Published in: Comput. Secur. (2013)

Keyphrases

fault localization
input data
program understanding
data sets
software testing
particle filter
software systems
source code
model based diagnosis
fault detection
object oriented
data abstraction
program slicing
image data
database
feature space
database design
high level
artificial intelligence
databases