{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T03:15:42Z","timestamp":1776482142897,"version":"3.51.2"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/issre.2013.6698892","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:09:09Z","timestamp":1389028149000},"page":"390-399","source":"Crossref","is-referenced-by-count":12,"title":["Help, help, i'm being suppressed! The significance of suppressors in software testing"],"prefix":"10.1109","author":[{"given":"Alex","family":"Groce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chaoqiang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Amin","family":"Alipour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Eide","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Regehr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/2134243.2134249"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.1"},{"key":"16","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/978-3-642-19811-3_19","article-title":"Testing container classes: Random or systematic?","author":"sharma","year":"2011","journal-title":"Fundamental Approaches to Software Engineering"},{"key":"13","year":"0","journal-title":"The Lobo Project"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/11763864_38"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806863"},{"key":"12","author":"ruderman","year":"2007","journal-title":"Introducing Jsfunfuzz"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336776"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134299"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/2338966.2336799"},{"key":"26","article-title":"Comparing automated unit testing strategies","author":"andrews","year":"2010","journal-title":"Department of Computer Science University of Western Ontario Tech Rep 736"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.110"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227168"},{"key":"29","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Operating System Design and Implementation"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227196"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553583"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"7","first-page":"1","article-title":"A theory of predicate-complete test coverage and generation","author":"ball","year":"2004","journal-title":"Formal Methods for Components and Objects"},{"key":"6","first-page":"1","article-title":"Putting flight software through the paces with testing, model checking, and constraint-solving","author":"groce","year":"2008","journal-title":"Workshop on Constraints in Formal Verification"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609542"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"9","year":"0","journal-title":"YAFFS A Flash File System for Embedded Use"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.2307\/2276774"}],"event":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","location":"Pasadena, CA, USA","start":{"date-parts":[[2013,11,4]]},"end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6689494\/6698873\/06698892.pdf?arnumber=6698892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:23:09Z","timestamp":1498108989000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6698892\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/issre.2013.6698892","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}