{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:32:04Z","timestamp":1730259124152,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icst.2015.7102583","type":"proceedings-article","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T15:54:04Z","timestamp":1431100444000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms"],"prefix":"10.1109","author":[{"given":"Timo","family":"Huuhtanen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juha","family":"Itkonen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Casper","family":"Lassenius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.11.002"},{"key":"ref32","first-page":"346","article-title":"Metamorphic testing and its applications","author":"zhou","year":"2004","journal-title":"Proceedings of the 8th International Symposium on Future Software Technology (ISFST 2004)"},{"key":"ref31","first-page":"98","article-title":"Metamorphic testing: a new approach for generating next test cases","author":"chen","year":"1998","journal-title":"Dep Comput Sci Hong Kong Univ Sci Technol Tech Rep HKUST-CS"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/196092.193171"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1986.1586098"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/12.936234"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1997.639682"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2008.923279"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.048"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.328993"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146256"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570127"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570128"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235572"},{"key":"ref4","article-title":"Software testing techniques","author":"beizer","year":"1990","journal-title":"Van Nostrand Reinhold Co"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234486"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2010.032910.00019"},{"journal-title":"Digital Signal Processing A Computer-Based Approach","year":"2000","author":"mitra","key":"ref6"},{"key":"ref29","article-title":"Detecting errors in nonlinear functions for computer software","author":"afifi","year":"1992","journal-title":"Case Western Reserve University"},{"journal-title":"Handbook for digital signal processing","year":"1993","author":"mitra","key":"ref5"},{"key":"ref8","first-page":"77","article-title":"Floating-to-fixed-point Conversion for Digital Signal Processors","volume":"2006","author":"menard","year":"2006","journal-title":"EURASIP J Appl Signal Process"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1997.599625"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.934111"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.934113"},{"journal-title":"The Art of Software Testing","year":"2011","author":"myers","key":"ref20"},{"key":"ref22","first-page":"257","article-title":"Perturbation Testing for Computation Errors","author":"zeil","year":"1984","journal-title":"Proceedings of the 7th International Conference on Software Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"journal-title":"Functional Program Testing and Analysis","year":"1986","author":"howden","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260923"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"}],"event":{"name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7102553\/7102573\/07102583.pdf?arnumber=7102583","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T18:33:19Z","timestamp":1490380399000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7102583\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/icst.2015.7102583","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}