Automatic fault location for data structures

Keyphrases

• Structure Confirmation 100%
• Automatic Fault Location 100%
• Specification-based 100%
• Debugging Strategies 100%
• Constraint Violation 50%
• Fault Location 50%
• Automatic Detection 50%
• Specification Language 50%
• Corrupted Data 50%
• Dynamic Data Structures 50%
• Constraint Checking 50%
• Memory Graph 50%
• Corrupt 50%
• Program Execution 50%
• Tarantula 50%
• Consistency Condition 50%
• Statistical Debugging 50%
• Corruption 50%
• Constraint Matching 50%
• Fault Location Method 50%

Computer Science

• Data Structure 100%
• Fault Location 100%
• Constraint Violation 14%
• Automatic Detection 14%
• Specification Language 14%
• Program Execution 14%