Underspecified harnesses and interleaved bugs.

Saurabh Joshi Shuvendu K. Lahiri Akash Lal

Published in: POPL (2012)

Keyphrases

source code
software systems
test cases
test set
security vulnerabilities
real time
decision making
metadata
image segmentation
feature extraction
bayesian networks
lower bound
object oriented
software projects