{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:07:00Z","timestamp":1743134820437,"version":"3.40.3"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1109\/tse.2025.3535662","type":"journal-article","created":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T19:17:11Z","timestamp":1738264631000},"page":"754-758","source":"Crossref","is-referenced-by-count":0,"title":["Retrospective on: Constraint-Based Automatic Test Data Generation"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8657-2557","authenticated-orcid":false,"given":"Jeff","family":"Offutt","sequence":"first","affiliation":[{"name":"University at Albany, Albany, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6902-6506","authenticated-orcid":false,"given":"Richard","family":"DeMillo","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/359104.359106"},{"key":"ref4","article-title":"The Mothra software testing environment","volume-title":"Proc. 11th NASA Softw. Eng. Lab. Workshop","author":"DeMillo","year":"1986"},{"article-title":"Automatic test data generation","year":"1988","author":"Offutt","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WST.1988.5369"},{"key":"ref7","first-page":"275","article-title":"The Mothra tool set","volume-title":"Proc. 22nd Hawaii Int. Conf. System Sciences","author":"Choi","year":"1989"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.21236\/ada143533"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.57623"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.49"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808445"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234207"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218139"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312864"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231144"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90094-3"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370020405"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.21236\/ADA482657"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1508"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102580"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2024.3418570"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3517066"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.21236\/ADA083078"},{"key":"ref32","first-page":"623","article-title":"The design of a prototype mutation system for program testing","volume-title":"Proc. NCC, AFIPS Conf. Rec.","author":"Budd","year":"1978"},{"volume-title":"Sotware Tools","year":"1976","author":"Kernighan","key":"ref33"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/29650.29669"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.308"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138945"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183521"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2021.3107634"},{"key":"ref40","first-page":"201","article-title":"What it would take to use mutation testing in industry\u2014A study at Facebook","volume-title":"Proc. 43rd Int. Conf. Softw. Eng.: Softw. Eng. Pract.","author":"Beller","year":"2021"},{"volume-title":"Green Mars.","year":"1993","author":"Robinson","key":"ref41"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10930340\/10858177.pdf?arnumber=10858177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:27:54Z","timestamp":1743092874000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10858177\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":41,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3535662","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2025,3]]}}}