Login / Signup
Using Abstraction to Guide the Search for Long Error Traces.
Kuntal Nanshi
Fabio Somenzi
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2013)
Keyphrases
</>
search algorithm
search space
search strategy
search strategies
high level
error rate
search queries
search efficiency
information systems
case study
search methods
error analysis
query formulation
search problems