Finding errors from reverse-engineered equality models using a constraint solver | IEEE Conference Publication | IEEE Xplore