Xu, L., Dias, M., & Richardson, D. J. (2004). Generating Regression Tests via Model Checking. In 28th Annual International Computer Software and Applications Conference, COMPSAC 2004, 28-30 September 2004, Hong Kong ; proceedings (336-341). https://doi.org/10.1109/cmpsac.2004.1342855