Tsong Yueh Chen, Huimin Lin, Robert G. Merkel, Daoming Wang. Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. In Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), San Francisco, CA, USA, July 1-3, 2008. pages 16-21, Knowledge Systems Institute Graduate School, 2008.
Abstract is missing.