{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T17:06:17Z","timestamp":1792947977229,"version":"4.5.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icst.2015.7102607","type":"proceedings-article","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T11:54:04Z","timestamp":1431086044000},"page":"1-10","source":"Crossref","is-referenced-by-count":29,"title":["Sound and Quasi-Complete Detection of Infeasible Test Requirements"],"prefix":"10.1109","author":[{"given":"Sebastien","family":"Bardin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mickael","family":"Delahaye","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robin","family":"David","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikolai","family":"Kosmatov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mike","family":"Papadakis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yves","family":"Le Traon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Yves","family":"Marion","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.21236\/ada071795"},{"issue":"1","key":"ref4","doi-asserted-by":"crossref","DOI":"10.1145\/565816.503274","article-title":"The SLAM project: Debugging system software via static analysis","volume":"37","author":"Ball","year":"2002","journal-title":"SIGPLAN Notices"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9150-y"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09099-3_4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.30"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.49"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0044-z"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/234528.234740"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.07.012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18070-5_2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/291252.288298"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/186258.186523"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5939-6_4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025144"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1529"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0326-7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134425"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.44"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.06.006"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040303"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346062"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609565"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.05.012"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.103"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.02.004"},{"issue":"5","key":"ref34","article-title":"Covering and uncovering equivalent mu-tants","volume":"23","author":"Schuler","year":"2013","journal-title":"STVR"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.21236\/ada482657"},{"key":"ref36","volume-title":"Software Fault Injection: Inoculating Programs Against Errors","author":"Voas","year":"1997"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/32.241773"},{"key":"ref38","article-title":"On-the-fly generation of k-paths tests for C functions: towards the automation of grey-box testing","author":"Williams","year":"2004","journal-title":"ASE. IEEE CS"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00098-0"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230473"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568265"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/75309.75315"}],"event":{"name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","location":"Graz, Austria","start":{"date-parts":[[2015,4,13]]},"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\/07102607.pdf?arnumber=7102607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T05:45:44Z","timestamp":1792907144000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7102607\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/icst.2015.7102607","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}