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

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. - Lei Bu; Doron Peled; Dachuan Shen; Yuan Zhuang (SPIN, 2018)