{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:20:34Z","timestamp":1725549634477},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540258612"},{"type":"electronic","value":"9783540320449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11424826_6","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T16:53:24Z","timestamp":1268412804000},"page":"52-61","source":"Crossref","is-referenced-by-count":2,"title":["Security Framework to Verify the Low Level Implementation Codes"],"prefix":"10.1007","author":[{"given":"Haeng-Kon","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hae-Sool","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Sun Microsystems, The Java Enterprise JavaBeans, 2nd edn. Wisley (2002)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Fiutem, R., Lutteri, G., Tonella, P., Zanfei, S., Merlo, E.: Program understanding and maintenance with the CANTO environment. In: International Conference on Software Maintenance, pp. 72\u201381 (1997)","DOI":"10.1109\/ICSM.1997.624233"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Ball, T., Eick, S.G.: Visualizing program slices. In: IEEE Symposium on Visual Languages, pp. 288\u2013295 (1994)","DOI":"10.1109\/VL.1994.363606"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Balmas, F.: Displaying dependence graphs: a hierarchical approach. In: Proc. Eighth Working Conference on Reverse Engineering, pp. 261\u2013270 (2001)","DOI":"10.1109\/WCRE.2001.957830"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Deng, Y., Kothari, S., Namara, Y.: Program slice browser. In: Ninth International Workshop on Program Comprehension (IWPC 2001), pp. 50\u201359 (2001)","DOI":"10.1109\/WPC.2001.921713"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Evaluating context-sensitive slicing and chopping. In: International Conference on Software Maintenance, pp. 22\u201331 (2002)","DOI":"10.1109\/ICSM.2002.1167744"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Chen, Z., Xu, B.: Slicing Object-Oriented Java Programs. ACM SIGPLAN Notices\u00a036(4) (April 2001)","DOI":"10.1145\/375431.375418"},{"key":"6_CR8","volume-title":"Proceedings of 22nd international conference on software Engineering","author":"J. Corbett","year":"2000","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Laubach, S., Pasareanu, C., Robby, Z.H.: Extracting finite-state models from Java. In: Proceedings of 22nd international conference on software Engineering, Limerick, Ireland. ACM Press, New York (2000)"},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Transaction on Software Engineering\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"6_CR10","unstructured":"Joy, B., Steele, G., Godling, J., Bracha, G.: The Java Language Specification. Addison- wesley, Reading, available from, \n                    \n                      http:\/\/java.sun.com\/docs\/books\/jls\/index.html"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Transaction on Programming Languages and Systems\u00a012(1), 26\u201360 (1990)","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Larsen, L., Harrold, M.: Slicing object oriented software. In: 18th International Conference on Software Engineering, March 1996, pp. 495\u2013505 (1996)","DOI":"10.1109\/ICSE.1996.493444"},{"key":"6_CR13","unstructured":"Liang, D., Harrold, M.: Slicing objects using system dependence graphs. In: International Conference on Software Maintenance, November 1998, pp. 358\u2013367 (1998)"},{"key":"6_CR14","unstructured":"Zhao, J.: Applying program dependence analysis to java software. In: Proc. Workshop on Software Engineering and Database Systems, Taiwan, December 1998, pp. 162\u2013169 (1998)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Tonella, P., et al.: Flow in-sensitive c++ pointers and polymorphism analysis and its application to slicing. In: 19th International Conference on Software Engineering, May 1997, pp. 433\u2013443 (1997)","DOI":"10.1145\/253228.253371"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11424826_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:54:42Z","timestamp":1605642882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11424826_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540258612","9783540320449"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11424826_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}