{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T14:52:57Z","timestamp":1792939977960,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540254201","type":"print"},{"value":"9783540319849","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31984-9_20","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T14:26:18Z","timestamp":1279031178000},"page":"269-272","source":"Crossref","is-referenced-by-count":28,"title":["Kaveri: Delivering the Indus Java Program Slicer to Eclipse"],"prefix":"10.1007","author":[{"given":"Ganeshan","family":"Jayaraman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Venkatesh Prasad","family":"Ranganath","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Krinke, J.: Advanced Slicing of Sequntial and Concurrent Programs. PhD thesis, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (2003)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C.S., Robby, Z.H.: Bandera: Extracting finite-state models from Java source code. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"key":"20_CR3","unstructured":"Sable Group: Soot, a Java Optimization Framework., http:\/\/www.sable.mcgill.ca\/soot\/"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-24723-4_4","volume-title":"Compiler Construction","author":"V.P. Ranganath","year":"2004","unstructured":"Ranganath, V.P., Hatcliff, J.: Pruning interference and ready dependence for slicing concurrent java programs. In: Duesterwald, E. (ed.) CC 2004, vol.\u00a02985, pp. 39\u201356. Springer, Heidelberg (2004)"},{"key":"20_CR5","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 on the International Symposium on Static Analysis, SAS 1999 (1999)","DOI":"10.1007\/3-540-48294-6_1"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-31987-0_7","volume-title":"Programming Languages and Systems","author":"V.P. Ranganath","year":"2005","unstructured":"Ranganath, V.P., Amtoft, T., Banerjee, A., Dwyer, B.M., Hatcliff, J.: A new foundation for control-dependence and slicing for modern program structures. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 77\u201393. Springer, Heidelberg (2005)"},{"key":"20_CR7","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 1998). ACM SIGPLAN Notices, vol.\u00a033(7), pp. 35\u201342 (1998)","DOI":"10.1145\/277631.277638"},{"key":"20_CR8","unstructured":"Ranganath, V.P.: Object-Flow Analysis for Optimizing Finite-State Models of Java Software. Master\u2019s thesis, Kansas State University (2002)"},{"key":"20_CR9","unstructured":"OTI: Eclipse, an open extensible IDE written in Java. http:\/\/www.eclipse.org"},{"key":"20_CR10","unstructured":"SAnToS Laboratory: Indus. http:\/\/indus.projects.cis.ksu.edu"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31984-9_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:33:02Z","timestamp":1605760382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31984-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254201","9783540319849"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31984-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}