Automatic fault location for data structures.

Vineet Singh Rajiv Gupta Iulian Neamtiu

Published in: CC (2016)

Keyphrases

data structure
semi automatic
fault diagnosis
fault detection
data driven
fully automatic
real time
search engine
efficient data structures
machine learning
information systems
multiresolution