{"id":"https://openalex.org/W1821350177","doi":"https://doi.org/10.1109/icst.2015.7102583","title":"Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms","display_name":"Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms","publication_year":2015,"publication_date":"2015-04-01","ids":{"openalex":"https://openalex.org/W1821350177","doi":"https://doi.org/10.1109/icst.2015.7102583","mag":"1821350177"},"language":"en","primary_location":{"id":"doi:10.1109/icst.2015.7102583","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst.2015.7102583","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002289624","display_name":"Timo Huuhtanen","orcid":null},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Timo Huuhtanen","raw_affiliation_strings":["Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland","[Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"[Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland]","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049069760","display_name":"Juha Itkonen","orcid":"https://orcid.org/0000-0001-9084-495X"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Juha Itkonen","raw_affiliation_strings":["Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland","[Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"[Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland]","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043683970","display_name":"Casper Lassenius","orcid":"https://orcid.org/0000-0003-4192-7024"},"institutions":[{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Casper Lassenius","raw_affiliation_strings":["Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland","[Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"[Dept. of Comput. Sci., Aalto Univ. Helsinki, Helsinki, Finland]","institution_ids":["https://openalex.org/I9927081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I9927081"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2006","issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7097775936126709},{"id":"https://openalex.org/keywords/signal-processing","display_name":"Signal processing","score":0.6836035251617432},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5107212066650391},{"id":"https://openalex.org/keywords/infinite-impulse-response","display_name":"Infinite impulse response","score":0.505059540271759},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4863305687904358},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4761064946651459},{"id":"https://openalex.org/keywords/digital-signal-processing","display_name":"Digital signal processing","score":0.4603014588356018},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.44126245379447937},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4228944480419159},{"id":"https://openalex.org/keywords/software-performance-testing","display_name":"Software performance testing","score":0.4188171625137329},{"id":"https://openalex.org/keywords/multidimensional-signal-processing","display_name":"Multidimensional signal processing","score":0.418592244386673},{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.3824094533920288},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3644128143787384},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.35313189029693604},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.3183619976043701},{"id":"https://openalex.org/keywords/digital-filter","display_name":"Digital filter","score":0.23729294538497925},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.16183817386627197},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1388857364654541},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10982578992843628}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7097775936126709},{"id":"https://openalex.org/C104267543","wikidata":"https://www.wikidata.org/wiki/Q208163","display_name":"Signal processing","level":3,"score":0.6836035251617432},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5107212066650391},{"id":"https://openalex.org/C183816354","wikidata":"https://www.wikidata.org/wiki/Q665617","display_name":"Infinite impulse response","level":4,"score":0.505059540271759},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4863305687904358},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4761064946651459},{"id":"https://openalex.org/C84462506","wikidata":"https://www.wikidata.org/wiki/Q173142","display_name":"Digital signal processing","level":2,"score":0.4603014588356018},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.44126245379447937},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4228944480419159},{"id":"https://openalex.org/C178059732","wikidata":"https://www.wikidata.org/wiki/Q1982529","display_name":"Software performance testing","level":5,"score":0.4188171625137329},{"id":"https://openalex.org/C501101116","wikidata":"https://www.wikidata.org/wiki/Q18378116","display_name":"Multidimensional signal processing","level":4,"score":0.418592244386673},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.3824094533920288},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3644128143787384},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.35313189029693604},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3183619976043701},{"id":"https://openalex.org/C36390408","wikidata":"https://www.wikidata.org/wiki/Q1163067","display_name":"Digital filter","level":3,"score":0.23729294538497925},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.16183817386627197},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1388857364654541},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10982578992843628},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icst.2015.7102583","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst.2015.7102583","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W127224647","https://openalex.org/W188524665","https://openalex.org/W1535749512","https://openalex.org/W1599012118","https://openalex.org/W1702158037","https://openalex.org/W1910771831","https://openalex.org/W1966151649","https://openalex.org/W1968444453","https://openalex.org/W1982146944","https://openalex.org/W1985551847","https://openalex.org/W1987187562","https://openalex.org/W1987623914","https://openalex.org/W2044942784","https://openalex.org/W2055656647","https://openalex.org/W2064147556","https://openalex.org/W2072083761","https://openalex.org/W2110441383","https://openalex.org/W2112398300","https://openalex.org/W2112619741","https://openalex.org/W2113985218","https://openalex.org/W2116752800","https://openalex.org/W2117866489","https://openalex.org/W2121669067","https://openalex.org/W2123727358","https://openalex.org/W2130274814","https://openalex.org/W2133649162","https://openalex.org/W2139244462","https://openalex.org/W2142262899","https://openalex.org/W2147621170","https://openalex.org/W2154897437","https://openalex.org/W2167336741","https://openalex.org/W2321734724","https://openalex.org/W2782603476","https://openalex.org/W3008797115","https://openalex.org/W3010856131","https://openalex.org/W4245563740","https://openalex.org/W6637620405","https://openalex.org/W6639699737","https://openalex.org/W6642415193","https://openalex.org/W6645741643","https://openalex.org/W6774112282","https://openalex.org/W7018492857"],"related_works":["https://openalex.org/W44298237","https://openalex.org/W2350368352","https://openalex.org/W4210925376","https://openalex.org/W4210376836","https://openalex.org/W3193411882","https://openalex.org/W2017291030","https://openalex.org/W2372367614","https://openalex.org/W2381978152","https://openalex.org/W2182982361","https://openalex.org/W2592403054"],"abstract_inverted_index":{"Signal":[0],"processing":[1,31,47,73,104],"software":[2,32,48],"is":[3],"characterized":[4],"by":[5],"a":[6,67,85],"heavy":[7],"emphasis":[8],"on":[9,22],"arithmetic":[10],"calculations":[11],"and":[12,28,53,75,84,98,113],"the":[13,42,50,59,71,93,122],"lack":[14],"of":[15,45,62,78,95],"complicated":[16],"control":[17],"structures,":[18],"placing":[19],"specific":[20],"constraints":[21],"which":[23],"testing":[24,51,68,97,100],"techniques":[25,56],"are":[26],"applicable":[27],"how":[29],"signal":[30,46,72,103],"can":[33,114],"be":[34,115],"efficiently":[35],"tested.":[36],"In":[37],"this":[38],"paper,":[39],"we":[40],"analyze":[41],"unique":[43],"characteristics":[44],"from":[49],"viewpoint":[52],"propose":[54,66],"applied":[55],"for":[57,70],"tackling":[58],"verification":[60],"challenges":[61],"such":[63],"software.":[64,105],"We":[65],"method":[69,91,108],"context":[74],"provide":[76],"examples":[77],"its":[79],"application":[80],"to":[81,102,110,118],"an":[82],"FIR":[83],"second":[86],"order":[87],"IIR":[88],"filter.":[89],"This":[90],"extends":[92],"applicability":[94],"algebraic":[96],"domain":[99],"methods":[101],"The":[106],"developed":[107],"applies":[109],"linear":[111],"systems":[112],"further":[116],"extended":[117],"take":[119],"nonlinearities":[120],"in":[121],"tested":[123],"system":[124],"into":[125],"account.":[126]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}