Zhang, Fuyuan Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society;
Zhang, C., Su, T., Yan, Y., Zhang, F., Pu, G., & Su, Z. (2019). Finding and Understanding Bugs in Software Model Checkers. In M., Dumas, D., Pfahl, S., Apel, & A., Russo (Eds.), ESEC/FSE '19 (pp. 763-773). New York, NY: ACM. doi:10.1145/3338906.3338932.