Error explanation with distance metrics

Keyphrases

• Distance Metric 100%
• Error Explanation 100%
• Automated Approach 50%
• Source Code 50%
• C Program 50%
• Model Checker 50%
• ANSI-C 50%
• Program Execution 50%
• Erroneous Behaviors 50%
• Undesirable Behavior 50%

Computer Science

• Distance Metric 100%
• Experimental Result 50%
• Model Checking 50%
• Source Codes 50%
• C Program 50%
• model checker 50%
• Program Execution 50%