{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T15:44:56Z","timestamp":1726847096960},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,7,8]],"date-time":"2006-07-08T00:00:00Z","timestamp":1152316800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2007,2,7]]},"DOI":"10.1007\/s10009-006-0022-x","type":"journal-article","created":{"date-parts":[[2006,7,7]],"date-time":"2006-07-07T09:32:39Z","timestamp":1152264759000},"page":"89-101","source":"Crossref","is-referenced-by-count":7,"title":["Improved verification of hardware designs through antecedent conditioned slicing"],"prefix":"10.1007","volume":"9","author":[{"given":"Shobha","family":"Vasudevan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. Allen","family":"Emerson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob A.","family":"Abraham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,7,8]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Aagaard M., Ciubotariu V., Higgins J., Khalvati F. Combining equivalence verification and completion functions. In: Formal Methods in Computer-Aided Design, (FMCAD 2004)(2004)","DOI":"10.1007\/978-3-540-30494-4_8"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Canfora G., Cimitile A., De Lucia A., Di LuccaG G. Software salvaging based on conditions. In: Proceedings of the International Conference on Software Maintenance, pp. 424\u2013433 (1994)","DOI":"10.1109\/ICSM.1994.336752"},{"key":"22_CR3","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/S0950-5849(98)00086-X","volume":"40","author":"G. Canfora","year":"1998","unstructured":"Canfora G., Cimitile A., De Lucia A. (1998) Conditioned program slicing. Inf Softw. Technol. Spec. Issue Program Slicing 40, 595\u2013607","journal-title":"Inf Softw. Technol. Spec. Issue Program Slicing"},{"key":"22_CR4","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0164-1212(98)10006-7","volume":"42","author":"G. Canfora","year":"1998","unstructured":"Canfora G., De Lucia A., Munro M.C.(1998) An integrated environment for reuse reengineering C code. J. Syst. Softw. 42, 153\u2013164","journal-title":"J. Syst. Softw."},{"issue":"2","key":"22_CR5","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S0164-1212(00)00030-3","volume":"54","author":"G. Canfora","year":"2000","unstructured":"Canfora G., Cimitile A., De Lucia A., Di Lucca G.A. (2000) Decomposing legacy programs: a first step towards migrating to client-server platforms. J. Syst. Softw. 54(2): 99\u2013110","journal-title":"J. Syst. Softw."},{"issue":"2","key":"22_CR6","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke E.M., Emerson E.A., Sistla A.P. (1986) Automatic verification of finite state concurrent systems using temporal logic specifications: a practical approach. ACM Trans. Program. Lang. Syst. 8(2): 244\u2013263","journal-title":"Program. Lang. Syst."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Clarke E.M., Fujita M., Rajan S.P., Reps T.W., Shankar, S, Teitelbaum T. Program slicing of hardware description languages. In: Conference on Correct Hardware Design and Verification Methods, pp. 298\u2013312 (1999)","DOI":"10.1007\/3-540-48153-2_22"},{"key":"22_CR8","unstructured":"USB Source Code: http:\/\/allowbreak www. opencores. org\/ pdownloads.cgi\/ list\/ usb."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Danicic S., Fox C., Harman M., Hierons R. Consit: a conditioned program slicer. pp. 216\u2013226 (2000)","DOI":"10.1109\/ICSM.2000.883049"},{"key":"22_CR10","unstructured":"Daoudi M., Ouarbya L., Howroyd J., Danicic S., Marman. Mark, Fox,C., Ward,M.P.: Consus: a scalable approach to conditional slicing. In: IEEE Proceedings of the Working Conference on Reverse Engineering, pp. 181\u2013189 (2002)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"De Lucia A., Fasolino A.R., Munro M. Understanding function behaviors through program slicing. In: Proceedings of the 4th International Workshop on Program Comprehension, pp. 9 (1996)","DOI":"10.1109\/WPC.1996.501116"},{"key":"22_CR12","unstructured":"Duesterwald E., Gupta R., Soffa M.L. Rigorous data flow testing through output influences. In: Proceedings of 2nd Irvine Software Symposium, pp. 131\u2013145 (1992)"},{"issue":"3","key":"22_CR13","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante J., Ottenstein K.J., Warren J.D. (1987) The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9(3): 319\u2013349","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Fox C., Harman M., Hierons R., Danicic S. Backward conditioning: a new program specialisation technique and its application to program comprehension. In: 9th IEEE International Workshop on Program Comprehesion, pp. 89\u201397 (2001)","DOI":"10.1109\/WPC.2001.921717"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Gallagher K.B., Lyle J.R. Using program slicing in software maintenance. In: IEEE Transactions on Software Engineering, pp. 751\u2013761 (1991)","DOI":"10.1109\/32.83912"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Horwitz S., Reps T., Binkley D. Interprocedural slicing using dependence graphs. In: Proceedings of the ACM SIGPLAN\u201988 Conference on Programming Language Design and Implementation, vol. 23, pp. 35\u201346 (1988)","DOI":"10.1145\/53990.53994"},{"key":"22_CR17","unstructured":"Iwaihara M., Nomura M., Ichinose S., Yasuura H. Program slicing on VHDL descriptions and its applications. pp. 132\u2013139 (1996)"},{"issue":"3","key":"22_CR18","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","volume":"29","author":"B. Korel","year":"1988","unstructured":"Korel B., Laski J. (1988) Dynamic program slicing. Inf. Process. Lett. 29(3): 155\u2013163","journal-title":"Inf. Process. Lett."},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Kurshan R.P. Computer-aided verification of coordinating processes: the automata-theoretic approach. Princeton University Press, Princeton (1994)","DOI":"10.1515\/9781400864041"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Lichtenstein O., Pnueli A. Checking that finite state concurrent programs satisfy their linear specification. In: Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 97\u2013107 (1985)","DOI":"10.1145\/318593.318622"},{"key":"22_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Manna Z., Pnueli A. (1992) The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Berlin Heidelberg New York"},{"issue":"1\u20133","key":"22_CR22","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/S0167-6423(99)00030-1","volume":"37","author":"K.L. McMillan","year":"2000","unstructured":"McMillan K.L. (2000) A methodology for hardware verification using compositional model checking. Sci. Comput. Program. 37(1\u20133): 279\u2013309","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"22_CR23","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/390011.808263","volume":"19","author":"K.J. Ottenstein","year":"1984","unstructured":"Ottenstein K.J., Ottenstein L.M. (1984) The program dependence graph in software development environments. SIGPLAN, Notices 19(5): 177\u2013184","journal-title":"SIGPLAN, Notices"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Reps T., Bricker T. Illustrating interference in interfering versions of programs. In: Proceedings of the 2nd International Workshop on Software Configuration Management, pp. 46\u201355 (1989)","DOI":"10.1145\/72910.73347"},{"key":"22_CR25","unstructured":"Tip F. Generation of Program Analysis Tools. Ph.D. thesis, University of Amsterdam (1995)"},{"key":"22_CR26","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip F. (1995) A survey of program slicing techniques. J. program. lang. 3, 121\u2013189","journal-title":"J. program. lang."},{"key":"22_CR27","unstructured":"USB Specification Document. http:\/\/www.usb.org\/developers\/docs\/"},{"key":"22_CR28","unstructured":"Vasudevan S., Emerson E.A., Abraham J.A. Efficient model checking of hardware using conditioned slicing. In: Preliminary Proceedings of 4th International Workshop on Automated Verification of Critical Systems (2004)"},{"issue":"2","key":"22_CR29","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1023\/A:1022885523034","volume":"19","author":"V.M. Vedula","year":"2003","unstructured":"Vedula V.M., Abraham J.A., Bhadra J., Tupuri R. (2003) A hierarchical test generation approach using program slicing techniques on hardware description languages. J. Electron. Test Theory Appl. 19(2): 149\u2013160","journal-title":"J. Electron. Test Theory Appl."},{"key":"22_CR30","doi-asserted-by":"crossref","unstructured":"Vedula V.M., Townsend W.J., Abraham J.A. Program slicing for ATPG-based property checking.In: International Conference on VLSI Design, pp. 591\u2013596 (2004)","DOI":"10.1109\/ICVD.2004.1260983"},{"key":"22_CR31","doi-asserted-by":"crossref","unstructured":"Venkatesh G.A. The semantic approach to program slicing.In: ACM SIGPLAN Conference on Programming Language Design and Implementation, 26(6), 107\u2013119 (1991)","DOI":"10.1145\/113445.113455"},{"key":"22_CR32","unstructured":"Weiser M. Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. Ph.D. Thesis (1979)"},{"issue":"7","key":"22_CR33","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser M. (1982) Programmers use slices when debugging. Commun. ACM 25(7): 446\u2013452","journal-title":"Commun. ACM"},{"issue":"4","key":"22_CR34","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser M. (1984) Program slicing. IEEE Trans. Softw. Eng. 10(4): 352\u2013357","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0022-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-006-0022-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0022-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T03:25:22Z","timestamp":1559100322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-006-0022-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,8]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2,7]]}},"alternative-id":["22"],"URL":"https:\/\/doi.org\/10.1007\/s10009-006-0022-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7,8]]}}}