Robert G. Merkel, Daoming Wang, Huimin Lin, Tsong Yueh Chen. Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. International Journal of Software Engineering and Knowledge Engineering, 21(2):289-307, 2011. [doi]
Abstract is missing.