Constraint-Based Program Debugging Using Data Structure Repair.
Muhammad Zubair MalikJunaid Haroon SiddiquiSarfraz KhurshidPublished in: ICST (2011)
Keyphrases
- data structure
- efficient data structures
- damage assessment
- constraint satisfaction
- quadtree
- consistent query answering
- space efficient
- index structure
- frequent patterns
- data types
- data sets
- inverted index
- plan repair
- main memory
- itemsets
- tree structure
- suffix tree
- constraint satisfaction problems
- search algorithm
- neural network
- wavelet tree
- repair actions
- linked list
- real time