{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T15:15:12Z","timestamp":1781622912702,"version":"3.54.5"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2002.1045022","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T19:45:08Z","timestamp":1056570308000},"page":"327-333","source":"Crossref","is-referenced-by-count":63,"title":["Metamorphic testing of programs on partial differential equations: a case study"],"prefix":"10.1109","author":[{"given":"T.Y.","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Jianqiang Feng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"T.H.","family":"Tse","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","author":"chen","year":"1998"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960614"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1145\/566172.566202","article-title":"Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing","author":"chen","year":"2002","journal-title":"Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002) ACM Press"},{"key":"ref13","article-title":"Software Manual for the Elementary Functions","author":"cody","year":"1980"},{"key":"ref14","article-title":"Applied Numerical Analysis","author":"gerald","year":"1999"},{"key":"ref15","article-title":"A survey of dynamic analysis methods","author":"howden","year":"1981","journal-title":"Software Testing and Validation Techniques"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1007\/978-1-5041-2940-4_28","article-title":"Software testing and evaluation in large-scale scientific applications","author":"mu","year":"1997","journal-title":"Proceedings of the IFIP WG 2 5 Working Conference on the Quality of Numerical Software Assessment and Enhancement"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-1-5041-2940-4_1","article-title":"Is numerical software relevant? Is it too late to worry about quality?","author":"pool","year":"1997","journal-title":"Proceedings of the IFIP WG 2 5 Working Conference on the Quality of Numerical Software Assessment and Enhancement"},{"key":"ref18","article-title":"Boundary Value Problems","author":"powers","year":"1999"},{"key":"ref19","article-title":"Numerical Methods, Software, and Analysis","author":"rice","year":"1993"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/12.2185"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1125"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200880"},{"key":"ref5","article-title":"Software Testing Techniques","author":"beizer","year":"1990"},{"key":"ref8","first-page":"191","article-title":"Application of metamorphic testing in numerical analysis","author":"chan","year":"1998","journal-title":"Proceedings of the IASTED International Conference on Software Engineering (SE '98)"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/978-1-5041-2940-4_10","article-title":"A methodology for testing classes of approximation and optimisation software","author":"butler","year":"1997","journal-title":"Proceedings of the IFIP WG 2 5 Working Conference on the Quality of Numerical Software Assessment and Enhancement"},{"key":"ref2","article-title":"The Numerical Algorithm Group Ltd.","year":"2001","journal-title":"The NAG Fortran Library Manual"},{"key":"ref1","year":"0","journal-title":"IMSL Numerical Libraries Visual Numerics"},{"key":"ref9","article-title":"Numerical Methods for Engineers: with Software and Programming Applications","author":"chapra","year":"2002"},{"key":"ref20","article-title":"Numerical Computation: Methods, Software, and Analysis","author":"ueberhuber","year":"1997"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"}],"event":{"name":"26th Annual International Computer Software and Applications","location":"Oxford, UK","acronym":"CMPSAC-02"},"container-title":["Proceedings 26th Annual International Computer Software and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8094\/22390\/01045022.pdf?arnumber=1045022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T03:28:59Z","timestamp":1623122939000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1045022\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2002.1045022","relation":{},"subject":[]}}