{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:05:36Z","timestamp":1776373536854,"version":"3.51.2"},"reference-count":26,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.1109\/tse.2004.1265732","type":"journal-article","created":{"date-parts":[[2004,2,24]],"date-time":"2004-02-24T21:01:05Z","timestamp":1077656465000},"page":"3-16","source":"Crossref","is-referenced-by-count":209,"title":["Testability transformation"],"prefix":"10.1109","volume":"30","author":[{"given":"M.","family":"Harman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Lin Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Hierons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Wegener","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Sthamer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Baresel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Roper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Compilers: Principles, Techniques and Tools","author":"Aho","year":"1986"},{"key":"ref2","first-page":"1329","article-title":"Fitness Function Design to Improve Evolutionary Structural Testing","volume-title":"GECCO 2002: Proc. Genetic and Evolutionary Computation Conf.","author":"Baresel"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/298151.298432"},{"key":"ref4","article-title":"BS 7925-1 Vocabulary of Terms in Software Testing","year":"1998","journal-title":"British Standards Institute"},{"key":"ref5","year":"1751","journal-title":"Calendar Act, \\Anno vicesimo quarto George II, cap. xxiii"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00086-X"},{"key":"ref7","article-title":"The ConSIT Conditioned Slicing System","author":"Danicic","journal-title":"Software Practice and Experience, to be published"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512964"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214329"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/357153.357154"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00135-8"},{"key":"ref13","first-page":"1359","article-title":"Improving Evolutionary Testing by Flag Removal","volume-title":"GECCO 2002: Proc. Genetic and Evolutionar Computation Conf.","author":"Harman"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00189-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1090.001.0001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0040"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.988709"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3927.001.0001"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61512-2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/48014.48021"},{"key":"ref22","first-page":"169","article-title":"The Way Forward for Unifying Dynamic Test-Case Generation: The Optimisation-Based Approach","volume-title":"Proc. Int\u2019l Workshop Dependable Computing and Its Applications (DCIA)","author":"Tracey"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/52.382180"},{"issue":"5","key":"ref24","article-title":"Reverse Engineering through Formal Transformation","volume":"37","author":"Ward","year":"1994","journal-title":"The Computer J."},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00190-2"},{"key":"ref26","article-title":"Program Slices: Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method","volume-title":"Univ. of Michigan, Ann Arbor","author":"Weiser","year":"1979"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/28304\/01265732.pdf?arnumber=1265732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:45:49Z","timestamp":1742100349000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1265732\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,1]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2004.1265732","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2004,1]]}}}