Verification of optimization algorithms: A case study of a quadratic assignment problem solver

20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008

Volumn , Issue , 2008, Pages 16-21

  Chen, Tsong Yueh ^a   Lin, Huimin ^b   Merkel, Robert ^a   Wang, Daoming ^b  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLETE TESTING; MATHEMATICAL OPTIMIZATION PROBLEMS; METAMORPHIC RELATIONS; METAMORPHIC TESTING; OPTIMIZATION ALGORITHMS; OPTIMIZATION PROBLEMS; QUADRATIC ASSIGNMENT PROBLEMS;

ALGORITHMS; COMBINATORIAL OPTIMIZATION; KNOWLEDGE ENGINEERING; OPTIMIZATION; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

EID: 84886915609     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. T. Y. Chen, S. C. Cheung, and S. M. Yiu, "Metamorphic testing: A new approach for generating next test cases, " Hong Kong University of Science and Technology, Tech. Rep. HKUST-CS98-01, 1998.
2. J. W. Gavett and N. V. Plyter, "The optimal assignment of facilities to locations by branch and bound, " Operations Research, vol. 14, no. 2, pp. 210-232, March 1966.
3. Wikipedia, "Quadratic assignment problem - wikipedia, the free encyclopedia, " 2007, [Online; accessed 12-October-2007]. [Online]. Available: http://en.wikipedia.org/w/index.php?title= Quadraticassignmentproblem&oldid=139133382.
4. P. Pardalos, F. Rendl, and H.Wolkowicz, "The quadratic assignment problem: A survey and recent developments, " in Quadratic assignment and related problems (New Brunswick, NJ, 1993), P. Pardalos and H.Wolkowicz, Eds. Providence, RI: Amer. Math. Soc., 1994, pp. 1-42.
5. H. T. Lau, A Java Library of Graph Algorithms and Optimization. Chapman and Hall/CRC, 2007.
6. S. Beydeda, "Self-metamorphic-testing components, " in Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International, Chicago, Illinois, USA, September 2006, pp. 265-272.
7. W. K. Chan, T. Y. Chen, H. Lu, T. H. Tse, and S. S. Yau, "Integration testing of context-sensitive middlewarebased applications: A metamorphic approach, " International Journal of Software Engineering and Knowledge Engineering, vol. 6, no. 5, pp. 677-703, 2006.
8. A. Gotlieb and B. Botella, "Automated metamorphic testing, " in Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003), 2003, pp. 34-40.
9. Reel Two, "Jumble website." [Online]. Available: http://jumble.sourceforge.net/.
10. R. E. Burkard, S. E. Karisch, and F. Rendl, "QAPLIB - A quadratic assignment problem library, " Journal of Global Optimization, vol. 10, no. 4, pp. 391-403, 1997.
11. T. Y. Chen, D. Huang, T. H. Tse, and Z. Q. Zhou, "Case studies on the selection of useful relations in metamorphic testing, " in Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004), 2004, pp. 569-583, Madrid, Spain.
12. A. C. Barus, T. Y. Chen, D. D. Grant, F.-C. Kuo, and M. F. Lau, "Testing of heuristic methods: A case study of a greedy algorithm, " in preparation.