Skip to main navigation
Skip to search
Skip to main content
Northern Arizona University Home
Home
Profiles
Departments and Centers
Scholarly Works
Activities
Grants
Datasets
Prizes
Search by expertise, name or affiliation
Error explanation with distance metrics
Alex Groce
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
74
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Error explanation with distance metrics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
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%