Chasing Errors Using Biasing Automata. - Lei Bu; Doron Peled; Dashuan Shen; Yael Tzirulnikov (ISoLA (2), 2018)