{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T23:04:38Z","timestamp":1778713478071,"version":"3.51.4"},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2011,3]]},"abstract":"<jats:p> Metamorphic testing is a technique for the verification of software output without a complete testing oracle. Mathematical optimization, implemented in software, is a problem for which verification can often be challenging. In this paper, we apply metamorphic testing to one such optimization problem, the quadratic assignment problem (QAP). From simple observations of the properties of the QAP, we describe how to derive a number of metamorphic relations useful for verifying the correctness of a QAP solver. We then compare the effectiveness of these metamorphic relations, in \"killing\" mutant versions of an exact QAP solver, to a simulated oracle. We show that metamorphic testing can be as effective as the simulated oracle for killing mutants. We examine the relative effectiveness of different metamorphic relations, both singly and in combination, and conclude that combining metamorphic relations can be significantly more effective than using a single relation. <\/jats:p>","DOI":"10.1142\/s021819401100527x","type":"journal-article","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T11:28:30Z","timestamp":1307446110000},"page":"289-307","source":"Crossref","is-referenced-by-count":4,"title":["AUTOMATIC VERIFICATION OF OPTIMIZATION ALGORITHMS: A CASE STUDY OF A QUADRATIC ASSIGNMENT PROBLEM SOLVER"],"prefix":"10.1142","volume":"21","author":[{"given":"ROBERT","family":"MERKEL","sequence":"first","affiliation":[{"name":"Faculty of Information Technology, Monash University, Clayton VIC 3800, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DAOMING","family":"WANG","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, 4 South Fourth Street, Zhong Guan Cun, Beijing 10090, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HUIMIN","family":"LIN","sequence":"additional","affiliation":[{"name":"Institute of Software, Chinese Academy of Sciences, 4 South Fourth Street, Zhong Guan Cun, Beijing 10090, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TSONG YUEH","family":"CHEN","sequence":"additional","affiliation":[{"name":"Centre for Software Analysis and Testing, Swinburne University of Technology, John Street, Hawthorn 3122, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf6","first-page":"1419","volume":"82","author":"Chen T.","journal-title":"BMC Bioinformatics"},{"key":"rf7","first-page":"677","volume":"6","author":"Chan W. K.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.2307\/1907742"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1287\/opre.14.2.210"},{"key":"rf12","volume-title":"Model Building in Mathematical Programming","author":"Williams H. P.","year":"1999"},{"key":"rf13","doi-asserted-by":"crossref","unstructured":"P.\u00a0Pardalos, F.\u00a0Rendl and H.\u00a0Wolkowicz, Quadratic Assignment and Related Problems, eds. P.\u00a0Pardalos and H.\u00a0Wolkowicz (Amer. Math. Soc, 1994)\u00a0pp. 1\u201342.","DOI":"10.1090\/dimacs\/016\/01"},{"key":"rf14","volume-title":"A Java Library of Graph Algorithms and Optimization","author":"Lau H. T.","year":"2007"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008293323270"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819401100527X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T16:12:20Z","timestamp":1565194340000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021819401100527X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":8,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2011,3]]}},"alternative-id":["10.1142\/S021819401100527X"],"URL":"https:\/\/doi.org\/10.1142\/s021819401100527x","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3]]}}}