Taxonomy of red-automata motivated by error localization

Abstract

We describe a taxonomy of red-automata based on error localization

Keywords

• Taxonomy of red-automata
• error localization