{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T19:40:23Z","timestamp":1738266023563,"version":"3.35.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,6,21]],"date-time":"2008-06-21T00:00:00Z","timestamp":1214006400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s10664-008-9071-y","type":"journal-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T06:59:31Z","timestamp":1213945171000},"page":"369-399","source":"Crossref","is-referenced-by-count":16,"title":["Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices"],"prefix":"10.1007","volume":"13","author":[{"given":"Wes","family":"Masri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,6,21]]},"reference":[{"issue":"6","key":"9071_CR1","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1002\/spe.4380230603","volume":"23","author":"H Agrawal","year":"1993","unstructured":"Agrawal H, Demillo R, Spafford E (1993) Debugging with dynamic slicing and backtracking. Softw Pract Exp 23(6):589\u2013616","journal-title":"Softw Pract Exp"},{"issue":"6","key":"9071_CR2","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1145\/93548.93576","volume":"25","author":"H Agrawal","year":"1990","unstructured":"Agrawal H, Horgan J (1990) Dynamic program slicing. SIGPLAN Not 25(6):246\u2013256","journal-title":"SIGPLAN Not"},{"key":"9071_CR3","doi-asserted-by":"crossref","unstructured":"Beszedes A, Gergely T, Szab\u00f3 ZM, Csirik J, Gyimothy T (2001) Dynamic slicing method for maintenance of large C Programs. 5th European Conf. on Software Maintenance and Re-engineering (Portugal, March 2001).","DOI":"10.1109\/CSMR.2001.914974"},{"key":"9071_CR4","doi-asserted-by":"crossref","unstructured":"Beszedes A, Farago C, Szabo ZM, Csirik J, Gyimothy T (2002) Union Slices for Program Maintenance. Proceedings of the International Conference on Software Maintenance (ICSM\u201902).","DOI":"10.1109\/ICSM.2002.1167743"},{"key":"9071_CR5","doi-asserted-by":"crossref","unstructured":"Binkley D (1998) The application of program slicing to regression testing. Information and Software Technology (I&ST) special issue on program slicing V40 N11\u201312, pp 583\u2013594","DOI":"10.1016\/S0950-5849(98)00085-8"},{"key":"9071_CR6","volume-title":"Introduction to algorithms","author":"T Cormen","year":"2001","unstructured":"Cormen T, Leiserson C, Rivest R, Stein C (2001) Introduction to algorithms, 2nd edn. MIT, Cambridge, MA","edition":"2"},{"issue":"5","key":"9071_CR7","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"DE Denning","year":"1976","unstructured":"Denning DE (1976) A lattice model of secure information flow. Commun ACM 19(5):236\u2013242","journal-title":"Commun ACM"},{"issue":"4","key":"9071_CR8","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s10664-005-3861-2","volume":"10","author":"H Do","year":"2005","unstructured":"Do H, Elbaum S, Rothermel G (2005) Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact. Empirical Software Engineering International Journal 10(4):405\u2013435","journal-title":"Empirical Software Engineering International Journal"},{"issue":"8","key":"9071_CR9","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1109\/32.83912","volume":"17","author":"K Gallagher","year":"1991","unstructured":"Gallagher K, Lyle J (1991) Using program slicing in software maintenance. IEEE Trans Softw Eng 17(8):751\u2013761","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"9071_CR10","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1002\/stvr.4370050303","volume":"5","author":"M Harman","year":"1995","unstructured":"Harman M, Danicic S (1995) Using program slicing to simplify testing. software testing. Verification and Reliability 5(3):143\u2013162","journal-title":"Verification and Reliability"},{"issue":"1","key":"9071_CR11","first-page":"17","volume":"23","author":"B Korel","year":"1997","unstructured":"Korel B (1997) Computation of dynamic program slices for unstructured programs. IEEE TSE 23(1):17\u201334","journal-title":"IEEE TSE"},{"key":"9071_CR12","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:155\u2013163","journal-title":"Inf Process Lett"},{"key":"9071_CR13","unstructured":"Korel B, Rilling J (1998). Program slicing in understanding of large programs. Proceedings of the 6th International Workshop on Program Comprehension"},{"key":"9071_CR14","doi-asserted-by":"crossref","unstructured":"Korel B, Yalamanchili S (1994). Forward computation of dynamic program slices. ISSTA, pp 66\u201379","DOI":"10.1145\/186258.186514"},{"key":"9071_CR15","doi-asserted-by":"crossref","unstructured":"Masri W, Nahas N, Podgurski A (2006) Memoized forward computation of dynamic slices. 17th IEEE International Symposium on Software Reliability Engineering, ISSRE 2006. Raleigh, NC, USA, November 2006","DOI":"10.1109\/ISSRE.2006.53"},{"key":"9071_CR16","doi-asserted-by":"crossref","unstructured":"Masri W, Podgurski A, Leon D (2004) Detecting and debugging insecure information flows. 15th IEEE International Symposium on Software Reliability Engineering, ISSRE 2004, St. Malo, France, Nov 2\u20135, 2004","DOI":"10.1109\/ISSRE.2004.17"},{"key":"9071_CR17","unstructured":"Masri WB (2004) Dynamic information flow analysis, slicing and profiling. Ph.D. dissertation, 2004. http:\/\/www.lib.umi.com\/dissertations\/fullcit\/3146448"},{"key":"9071_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58940-9","volume-title":"Algorithms and data structures in VLSI design: OBDD\u2014foundations and applications","author":"C Meinel","year":"1998","unstructured":"Meinel C, Theobald T (1998) Algorithms and data structures in VLSI design: OBDD\u2014foundations and applications. Springerp New York"},{"key":"9071_CR19","unstructured":"Pan K, Whitehead J (2005) An investigation of program slice encoding and its applications. ISR Research Forum, June"},{"key":"9071_CR20","doi-asserted-by":"crossref","unstructured":"Smith S, Thober M (2006). Refactoring programs to secure information flows. Proceedings of the 2006 workshop on Programming languages and analysis for security 75\u201384","DOI":"10.1145\/1134744.1134758"},{"key":"9071_CR21","unstructured":"The Byte Code Engineering Library (BCEL) (2003) The Apache Jakarta Project. http:\/\/jakarta.apache.org\/bcel . Apache Software Foundation"},{"issue":"3","key":"9071_CR22","first-page":"121","volume":"3","author":"F Tip","year":"1995","unstructured":"Tip F (1995) A survey of program slicing techniques. J Program Lang 3(3):121\u2013189","journal-title":"J Program Lang"},{"issue":"4","key":"9071_CR23","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"},{"key":"9071_CR24","doi-asserted-by":"crossref","unstructured":"Zhang X, Gupta R (2004) Cost effective dynamic program slicing, ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 94\u2013106, Washington DC, June 2004","DOI":"10.1145\/996841.996855"},{"key":"9071_CR25","unstructured":"Zhang X, Gupta R, Zhang Y (2004) Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams. International Conference on Software Engineering, Edinburgh, UK, May 2004"},{"key":"9071_CR26","doi-asserted-by":"crossref","unstructured":"Zhang X, Gupta R, Zhang Y (2003) Precise dynamic slicing algorithms, IEEE\/ACM International Conference on Software Engineering, pp 319\u2013329, Portland, Oregon, May 2003","DOI":"10.1109\/ICSE.2003.1201211"},{"key":"9071_CR27","volume-title":"An improved reference flow control model for policy-based intrusion detection. 8th European Symposium on Research in Computer Security, Gj\u00f8vik, Norway, October 2003, Lecture Notes in Computer Science 2808","author":"J Zimmermann","year":"2003","unstructured":"Zimmermann J, M\u00e9 L, Bidan C (2003a) An improved reference flow control model for policy-based intrusion detection. 8th European Symposium on Research in Computer Security, Gj\u00f8vik, Norway, October 2003, Lecture Notes in Computer Science 2808. Springer, New York"},{"key":"9071_CR28","doi-asserted-by":"crossref","unstructured":"Zimmermann J, M\u00e9 L, Bidan C (2003b) Experimenting with a policy-based HIDS based on and information flow control model. 19th Computer Security Applications Conference, Las Vegas, November 2003","DOI":"10.1109\/CSAC.2003.1254341"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-008-9071-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-008-9071-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-008-9071-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T19:01:00Z","timestamp":1738263660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-008-9071-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,21]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["9071"],"URL":"https:\/\/doi.org\/10.1007\/s10664-008-9071-y","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"type":"print","value":"1382-3256"},{"type":"electronic","value":"1573-7616"}],"subject":[],"published":{"date-parts":[[2008,6,21]]}}}