Using Abstraction to Guide the Search for Long Error Traces | IEEE Journals & Magazine | IEEE Xplore