{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T20:49:44Z","timestamp":1771274984020,"version":"3.50.1"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issre.2015.7381817","type":"proceedings-article","created":{"date-parts":[[2016,1,15]],"date-time":"2016-01-15T04:50:11Z","timestamp":1452833411000},"page":"239-249","source":"Crossref","is-referenced-by-count":10,"title":["Boundary value analysis in automatic white-box test generation"],"prefix":"10.1109","author":[{"given":"Zhiqiang","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianyong","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.37"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2006.7"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2014.25"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/11408901_21"},{"key":"ref30","first-page":"263","article-title":"CUTE: A Concolic Unit Testing Engine for C","author":"sen","year":"0","journal-title":"Proc of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC\/FSE '05)"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.09.001"},{"key":"ref36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-43429-1","author":"zhang","year":"2014","journal-title":"Automatic Generation of Combinatorial Test Data"},{"key":"ref35","first-page":"242","article-title":"Path-oriented test data generation using symbolic execution and constraint solving techniques","author":"zhang","year":"0","journal-title":"SEFM '04 Proceedings of the Software Engineering and Formal Methods Second International Conference on (SEFM'04)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.35"},{"key":"ref10","first-page":"419","article-title":"Pairwise testing in the real world","author":"czerwonka","year":"0","journal-title":"Proc 24th Pacific Northwest Software Quality Conference (PNSQC'06)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_11"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-012-4746-9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_52"},{"key":"ref15","first-page":"13","article-title":"An improved metaheuristic search for constrained interaction testing","author":"garvin","year":"0","journal-title":"Proc of the 1st Int Sym on Search Based Software Engineering (SSBSE'09)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9135-7"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2009.31"},{"key":"ref18","article-title":"Searching for Test Data","author":"ghani","year":"2009"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IAdCC.2013.6514432"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"ref27","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"0","journal-title":"Proc of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '08)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570123"},{"key":"ref6","first-page":"209","article-title":"KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs","author":"cadar","year":"0","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609565"},{"key":"ref5","first-page":"174","article-title":"Boolector: An efficient SMT solver for bit-vectors and arrays","author":"brummayer","year":"0","journal-title":"Proc of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '09)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.605761"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.44"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2003.1251034"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.50"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1994.318466"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38916-0_9"},{"key":"ref21","article-title":"A practical tutorial on modified condition\/decision coverage","author":"hayhurst","year":"2011","journal-title":"Technical Report NASA\/TM-2001-210876"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2004.12"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2008.18"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.381"},{"key":"ref25","author":"kuhn","year":"2013","journal-title":"Introduction to Combinatorial Testing"}],"event":{"name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","location":"Gaithersbury, MD, USA","start":{"date-parts":[[2015,11,2]]},"end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7374093\/7381793\/07381817.pdf?arnumber=7381817","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:14:43Z","timestamp":1748751283000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7381817\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/issre.2015.7381817","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}