{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T11:08:21Z","timestamp":1790075301243,"version":"4.0.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2007,7,25]],"date-time":"2007-07-25T00:00:00Z","timestamp":1185321600000},"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 Transf"],"published-print":{"date-parts":[[2007,10,6]]},"DOI":"10.1007\/s10009-007-0043-0","type":"journal-article","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T06:06:49Z","timestamp":1185257209000},"page":"489-504","source":"Crossref","is-referenced-by-count":34,"title":["Slicing concurrent Java programs using Indus and Kaveri"],"prefix":"10.1007","volume":"9","author":[{"given":"Venkatesh Prasad","family":"Ranganath","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,7,25]]},"reference":[{"key":"43_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal, H., Horgan, J.H.: Dynamic program slicing. In: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (PLDI\u201990), pp. 246\u2013256 (1990)","DOI":"10.1145\/93542.93576"},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: Proceedings of the 11th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA\u201996), pp. 324\u2013341 (1996)","DOI":"10.1145\/236337.236371"},{"issue":"8","key":"43_CR3","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1109\/32.624306","volume":"23","author":"D. Binkley","year":"1997","unstructured":"Binkley D. (1997). Semantics guided regression test cost reduction. IEEE Trans. Softw. Eng. 23(8): 489\u2013516","journal-title":"IEEE Trans. Softw. Eng."},{"key":"43_CR4","unstructured":"Brat, G., Havelund, K., Park, S., Visser, W.: Java PathFinder\u2014a second generation of a Java model-checker. In: Proceedings of the Workshop on Advances in Verification (2000)"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C.S., Robby, Zheng, H.: Bandera: Extracting finite-state models from Java source code. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE\u201900), pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"key":"43_CR6","unstructured":"Dwyer, M.B., Hatcliff, J.: Slicing software for model construction. In: Proceedings of Partial Evaluation and Semantic-Based Program Manipulation (PEPM\u201999), pp. 105\u2013118 (1999)"},{"key":"43_CR7","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Hatcliff, J., Hoosier, M., Ranganath, V., Robby, Wallentine, T.: Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201906), pp. 73\u201389 (2006)","DOI":"10.1007\/11691372_5"},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Person, S., Elbaum, S.: Controlling factors in evaluating path-sensitive error detection techniques. In: Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering (2006)","DOI":"10.21236\/ADA459081"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Hammer, C., Snelting, G.: An improved slicer for Java. In: Proceedings of the ACM-SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE\u201904), pp. 17\u201322 (2004)","DOI":"10.1145\/996821.996830"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Corbett, J.C., Dwyer, M.B., Sokolowski, S., Zheng, H.: A formal study of slicing for multi-threaded programs with JVM concurrency primitives. In: Proceedings of the 1999 International Symposium on Static Analysis (SAS\u201999), Lecture Notes in Computer Science, pp. 1\u201318 (1999)","DOI":"10.1007\/3-540-48294-6_1"},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Dwyer, M.B., Zheng, H.: Slicing software for model construction. J. Higher-order Symbolic Comput. 13(4), 315\u2013353 (2000). A special issue containing selected papers from the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation","DOI":"10.1023\/A:1026599015809"},{"key":"43_CR12","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Proceedings of the 29th Annual Symposium on Principles of Programming Languages (POPL\u201902), pp. 75\u201383 (2002)","DOI":"10.1145\/503272.503279"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Pfeiffer, P., Reps, T.W.: Dependence analysis for pointer variables. In: Proceedings of the ACM SIGPLAN \u201989 Conference on Programming Language Design and Implementation (PLDI\u201989), pp. 28\u201340 (1989)","DOI":"10.1145\/73141.74821"},{"issue":"1","key":"43_CR14","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"Horwitz S., Reps T. and Binkley D. (1990). Interprocedural slicing using dependence graphs. ACM Trans. Programm. Language Systems 12(1): 26\u201360","journal-title":"ACM Trans. Programm. Language Systems"},{"key":"43_CR15","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Static slicing of threaded programs. In: Proceedings ACM SIGPLAN\/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE\u201998), pp. 35\u201342 (1998)","DOI":"10.1145\/277631.277638"},{"key":"43_CR16","unstructured":"Krinke, J.: Advanced slicing of Sequential and concurrent programs. Ph.D. thesis, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (2003)"},{"key":"43_CR17","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Barrier slicing and chopping. In: Proceedings of Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM\u201903), pp. 81\u201387 (2003)","DOI":"10.1109\/SCAM.2003.1238034"},{"key":"43_CR18","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Context-sensitive slicing of concurrent programs. In: Proceedings of ESEC\/SIGSOFT FSE\u201903, pp. 178\u2013187 (2003)","DOI":"10.1145\/940071.940096"},{"key":"43_CR19","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Context-sensitivity matters, but context does not. In: Proceedings of Fourth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM\u201904), pp. 29\u201335 (2004)","DOI":"10.1109\/SCAM.2004.8"},{"key":"43_CR20","doi-asserted-by":"crossref","unstructured":"Kumar, S., Horwitz, S.: Better slicing of programs with jumps and switches. In: Proceedings of Fundamental Approaches of Software Engineering (FASE\u201902), pp. 96\u2013112 (2002)","DOI":"10.1007\/3-540-45923-5_7"},{"key":"43_CR21","doi-asserted-by":"crossref","unstructured":"Liang, D., Harrold, M.J.: Efficient computation of parameterized pointer information for interprocedural analyses. In: Proceedings 8th International Static Analysis Symposium (SAS\u201901), pp. 279\u2013298 (2001)","DOI":"10.1007\/3-540-47764-0_16"},{"key":"43_CR22","unstructured":"Millett, L.I., Teitelbaum, T.: Slicing Promela and its applications to model checking, simulation, and protocol understanding. In: Proceedings of the 4th International SPIN Workshop (SPIN\u201998) (1998)"},{"key":"43_CR23","unstructured":"Nanda, M.G.: Slicing concurrent Java programs: issues and solutions. Ph.D. thesis, Indian Institute of Technology, Bombay (2001)"},{"key":"43_CR24","doi-asserted-by":"crossref","unstructured":"Nanda, M.G., Ramesh, S.: Slicing concurrent programs. In: Proceedings of International Symposium on Software Testing and Analysis (ISSTA\u201900), pp. 180\u2013190 (2000)","DOI":"10.1145\/347324.349121"},{"key":"43_CR25","doi-asserted-by":"crossref","unstructured":"Ottenstein, K., Ottenstein, L.: The program dependence graph in a software development environment. In: Proceedings of ACM SIGPLAN\/SIGSOFT Symposium on Practical Software Development Environments (PPDE\u201984), pp. 177\u2013184 (1984)","DOI":"10.1145\/800020.808263"},{"issue":"8","key":"43_CR26","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1109\/32.58784","volume":"16","author":"A. Podgurski","year":"1990","unstructured":"Podgurski A. and Clarke L. (1990). A formal model of program dependences and its implications for software testing, debugging and maintenance. IEEE Trans. Softw. Eng. 16(8): 965\u2013979","journal-title":"IEEE Trans. Softw. Eng."},{"key":"43_CR27","unstructured":"Ranganath, V.P.: Object-flow analysis for optimizing finite-state models of Java software. Master\u2019s thesis, Department of Computing and Information Science, Kansas State University (2002)"},{"key":"43_CR28","unstructured":"Ranganath, V.P.: Scalable and accurate approaches to program dependence analysis, slicing, and verification of concurrent object oriented programs. Ph.D. thesis, Department of Computing and Information Science, Kansas State University (2006)"},{"key":"43_CR29","unstructured":"Ranganath, V.P., Amtoft, T., Banerjee, A., Dwyer, M.B., Hatcliff, J.: A new foundation for control-dependence and slicing for modern program structures. In: Programming Languages and Systems, Proceedings of 14th European Symposium on Programming (ESOP\u201905) (2005). Extended version is available at http:\/\/projects.cis.ksu.edu\/docman\/?group_id=12"},{"key":"43_CR30","doi-asserted-by":"crossref","unstructured":"Ranganath, V.P., Hatcliff, J.: Pruning interference and ready dependences for slicing concurrent Java programs. In: Proceedings of Compiler Construction (CC\u201904), pp. 39\u201356 (2004)","DOI":"10.1007\/978-3-540-24723-4_4"},{"key":"43_CR31","doi-asserted-by":"crossref","unstructured":"Ren, X., Shah, F., Tip, F., Ryder, B.G., Chesley, O.: Chianti: a tool for change impact analysis of java programs. In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA\u201904), pp. 432\u2013448 (2004)","DOI":"10.1145\/1028976.1029012"},{"key":"43_CR32","doi-asserted-by":"crossref","unstructured":"Ruf, E.: Effective synchronization removal for Java. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (PLDI\u201900), pp. 208\u2013218 (2000)","DOI":"10.1145\/349299.349327"},{"key":"43_CR33","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip F. (1995). A survey of program slicing techniques. J Program. Languages 3: 121\u2013189","journal-title":"J Program. Languages"},{"key":"43_CR34","unstructured":"Vall\u00e9e-Rai, R.: SOOT: A Java bytecode optimization framework. Master\u2019s thesis, School of Computer Science, McGill University (2000)"},{"key":"43_CR35","doi-asserted-by":"crossref","unstructured":"Wang, Z., Elbaum, S., Rosenblum, D.: Automated generation of context-aware tests. Accepted at the International Conference on Software Engineering (ICSE\u201907) (2007)","DOI":"10.1109\/ICSE.2007.18"},{"issue":"4","key":"43_CR36","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-007-0043-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-007-0043-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0043-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:23Z","timestamp":1559114723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-007-0043-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,25]]},"references-count":36,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2007,10,6]]}},"alternative-id":["43"],"URL":"https:\/\/doi.org\/10.1007\/s10009-007-0043-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,25]]}}}