Chandan Raj Rupakheti, Daqing Hou. Finding errors from reverse-engineered equality models using a constraint solver. In 28th IEEE International Conference on Software Maintenance, ICSM 2012, Trento, Italy, September 23-28, 2012. pages 77-86, IEEE Computer Society, 2012. [doi]
Abstract is missing.