{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:06:51Z","timestamp":1759032411415},"reference-count":17,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2003.1245319","type":"proceedings-article","created":{"date-parts":[[2004,3,2]],"date-time":"2004-03-02T02:26:50Z","timestamp":1078194410000},"page":"34-40","source":"Crossref","is-referenced-by-count":48,"title":["Automated metamorphic testing"],"prefix":"10.1109","author":[{"given":"A.","family":"Gotlieb","sequence":"first","affiliation":[]},{"given":"B.","family":"Botella","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"15","first-page":"524","article-title":"Solving constraints over floating-point numbers","author":"michel","year":"2001","journal-title":"Constraint Prog (CP)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.57623"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","author":"marriott","year":"1998","journal-title":"Programming with Constraints An Introduction"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"3","first-page":"191","article-title":"Application of metamorphic testing in numerical analysis","author":"chan","year":"1998","journal-title":"IASTED Conf on Software Engineering"},{"key":"2","article-title":"An Open-Ended Finite Domain Constraint Solver","author":"carlsson","year":"1997","journal-title":"Prog Long Impl Logics and Programs (PULP)"},{"journal-title":"INKA-VI User's Manual","year":"2002","key":"1"},{"key":"10","first-page":"399","article-title":"A clp framework for computing structural test data","author":"gotlieb","year":"2000","journal-title":"Computational Logic (CL)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"5","first-page":"191","article-title":"Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing","author":"chen","year":"2002","journal-title":"ACM Int Symp on Soft Testing and Analysis (ISSTA)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960614"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/271775.271790"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"}],"event":{"name":"27th Annual International Computer Software and Applications Conference","acronym":"CMPSAC-03","location":"Dallas, TX, USA"},"container-title":["Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8813\/27898\/01245319.pdf?arnumber=1245319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T09:03:31Z","timestamp":1585645411000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1245319\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2003.1245319","relation":{},"subject":[]}}