{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T19:40:09Z","timestamp":1743968409399,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642321283"},{"type":"electronic","value":"9783642321290"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32129-0_20","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T11:41:24Z","timestamp":1344598884000},"page":"152-163","source":"Crossref","is-referenced-by-count":1,"title":["An Automated Metamorphic Testing Technique for Designing Effective Metamorphic Relations"],"prefix":"10.1007","author":[{"family":"Gagandeep","sequence":"first","affiliation":[]},{"given":"Gurdeepak","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Snook, C., Butler, M.: Using a Graphical Design Tool for Formal Specification. In: 13th Workshop of the Psychology of Programming Interest Group, Bournemouth, UK, pp. 311\u2013321 (2001)"},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/566172.566202","volume-title":"Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002)","author":"T.Y. Chen","year":"2002","unstructured":"Chen, T.Y., Tse, T.H., Zhou, Z.Q.: Semi-proving: An Integrated Method Based on Global Symbolic Evaluation and Metamorphic Testing. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 191\u2013195. ACM Press, New York (2002)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Chen, T.Y., Feng, J., Tse, T.H.: Metamorphic Testing of Programs on Partial Differential Equations: A Case Study. In: Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), pp. 327\u2013333. IEEE Computer Society Press (2002)","DOI":"10.1109\/CMPSAC.2002.1045022"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/CMPSAC.2003.1245319","volume-title":"Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC 2003)","author":"A. Gotlieb","year":"2003","unstructured":"Gotlieb, A., Botella, B.: Automated Metamorphic Testing. In: Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC 2003), pp. 34\u201340. IEEE Computer Society Press, California (2003)"},{"key":"20_CR5","unstructured":"Chen, T.Y., Huang, D.H., Tse, T.H., Zhou, Z.Q.: Case Study on the Selection of Useful Relations in Metamorphic Testing. In: 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004), pp. 569\u2013583. Polytechnic University of Madrid, Spain (2004)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Chan, W.K., Cheung, S.C., Leung, K.R.P.H.: Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. In: 1st International Workshop on Services Engineering (SEIW 2005), pp. 470\u2013476. IEEE Computer Society (2005)","DOI":"10.1109\/QSIC.2005.67"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Pilskalns, O., Williams, D., Aracic, D.: Security Consistency in UML Designs. In: Proceedings of 30th International Conference on Computer Software and Applications (COMPSAC 2006), pp. 351\u2013358. IEEE Press (2006)","DOI":"10.1109\/COMPSAC.2006.76"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Ali, A., Nadeem, A., Zohaib, M., Iqbal, Z., Usman, M.: Regression Testing based on UML Design Models. In: Proceedings of 13th IEEE International Symposium on Pacific Rim Dependable Computing, pp. 85\u201388 (2007)","DOI":"10.1109\/PRDC.2007.53"}],"container-title":["Communications in Computer and Information Science","Contemporary Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32129-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T19:26:36Z","timestamp":1743967596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32129-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642321283","9783642321290"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32129-0_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}