{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T05:37:42Z","timestamp":1649137062447},"reference-count":36,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2015]]},"DOI":"10.1587\/transinf.2014edp7329","type":"journal-article","created":{"date-parts":[[2015,5,31]],"date-time":"2015-05-31T18:10:07Z","timestamp":1433095807000},"page":"1213-1227","source":"Crossref","is-referenced-by-count":0,"title":["Optimization Methods for Nop-Shadows Typestate Analysis"],"prefix":"10.1587","volume":"E98.D","author":[{"given":"Chengsong","family":"WANG","sequence":"first","affiliation":[{"name":"School of Computer, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoguang","family":"MAO","sequence":"additional","affiliation":[{"name":"Laboratory of Science and Technology on Integrated Logistics Support, National University of Defense Technology"},{"name":"School of Computer, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"LEI","sequence":"additional","affiliation":[{"name":"School of Computer, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"ZHANG","sequence":"additional","affiliation":[{"name":"School of Computer, National University of Defense Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] R.E. Strom and S. Yemini, \u201cTypestate: A programming language concept for enhancing software reliability,\u201d IEEE Trans. Softw. Eng., vol.12, no.1, pp.157-171, 1986.","DOI":"10.1109\/TSE.1986.6312929"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] E. Bodden, \u201cEfficient hybrid typestate analysis by determining continuation-equivalent states,\u201d Proc. International Conference on Software Engineerin, pp.5-14, New York, USA, 2010.","DOI":"10.1145\/1806799.1806805"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] E. Bodden, P. Lam, and L. Hendren, \u201cClara: a framework for partially evaluating finite-state runtime monitors ahead of time,\u201d Proc. International Conference on Runtime Verification, pp.183-197, St. Julians, Malta, 2010.","DOI":"10.1007\/978-3-642-16612-9_15"},{"key":"4","unstructured":"[4] E. Bodden, Verifying Finite-state Properties of Large-scale Programs, Ph.D. thesis, McGill University, 2009."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] S.A. Slaughter, D.E. Harter, and M.S. Krishnan, \u201cEvaluating the cost of software quality,\u201d Commun. ACM, vol.41, no.8, pp.67-73, 1998.","DOI":"10.1145\/280324.280335"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] K. Bierhoff and J. Aldrich, \u201cModular typestate checking of aliased objects,\u201d Proc. Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, pp.301-320, Montreal, Quebec, Canada, 2007.","DOI":"10.1145\/1297105.1297050"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] C. Jaspan and J. Aldrich, \u201cChecking framework interactions with relationships,\u201d Proc. European Conference on Object-Oriented Programming, pp.27-51, Genoa, Italy, 2009.","DOI":"10.1007\/978-3-642-03013-0_3"},{"key":"8","unstructured":"[8] E. Bodden, J-lo-a tool for runtime-checking temporal assertions, Master's thesis, RWTH Aachen university, 2005."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] F. Chen and G. Rosu, \u201cMop: An efficient and generic runtime verification framework,\u201d Proc. Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, pp.569-588, Montreal, Quebec, Canada, 2007.","DOI":"10.1145\/1297105.1297069"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] I.H. Kr\u00fcger, G. Lee, and M. Meisinger, \u201cAutomating software architecture exploration with m2aspects,\u201d Proc. International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, pp.51-58, Shanghai, China, 2006.","DOI":"10.1145\/1138953.1138964"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] S. Maoz and D. Harel, \u201cFrom multi-modal scenarios to code: Compiling lscs into aspectj,\u201d Proc. ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.219-230, Portland, Oregon, USA, 2006.","DOI":"10.1145\/1181775.1181802"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.M. Loingtier, and J. Irwin, Aspect-oriented Programming, Springer, 1997.","DOI":"10.1007\/BFb0053381"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] S. Goldsmith, R. O'Callahan, and A. Aiken, \u201cRelational queries over program traces,\u201d Proc. Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.385-402, San Diego, CA, USA, 2005.","DOI":"10.1145\/1094811.1094841"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] M.C. Martin, V.B. Livshits, and M.S. Lam, \u201cFinding application errors and security flaws using pql: a program query language,\u201d Proc. Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.365-383, San Diego, CA, USA, 2005.","DOI":"10.1145\/1103845.1094840"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] M.B. Dwyer and R. Purandare, \u201cResidual dynamic typestate analysis exploiting static analysis: Results to reformulate and reduce the cost of dynamic analysis,\u201d Proc. IEEE\/ACM International Conference on Automated Software Engineering, pp.124-133, Atlanta, Georgia, USA, 2007.","DOI":"10.1145\/1321631.1321651"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] N.A. Naeem and O. Lhot\u00e1k, \u201cTypestate-like analysis of multiple interacting objects,\u201d Proc. ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications, pp.347-366, Nashville, TN, USA, 2008.","DOI":"10.1145\/1449955.1449792"},{"key":"17","unstructured":"[17] R. Purandare, Exploiting Program and Property Structure for Efficient Runtime Monitoring, Ph.D. thesis, University of Nebraska-Lincoln, 2011."},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] E. Bodden, P. Lam, and L.J. Hendren, \u201cPartially evaluating finite-state runtime monitors ahead of time,\u201d ACM Trans. Program. Lang. Syst., vol.34, no.2, p.7, 2012.","DOI":"10.1145\/2220365.2220366"},{"key":"19","unstructured":"[19] \u201cClara.\u201d http:\/\/www.bodden.de\/clara\/"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] S.M. Blackburn, R. Garner, C. Hoffmann, A.M. Khang, K.S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S.Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J.E.B. Moss, A. Phansalkar, D. Stefanovic, T. VanDrunen, D. von Dincklage, and B. Wiedermann, \u201cThe dacapo benchmarks: Java benchmarking development and analysis,\u201d Proc. Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, pp.169-190, Portland, Oregon, USA, 2006.","DOI":"10.1145\/1167473.1167488"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] C. Wang, Z. Chen, and X. Mao, \u201cOptimizing nop-shadows typestate analysis by filtering interferential configurations,\u201d Proc. International Conference on Runtime Verification, pp.269-284, Rennes, France, 2013.","DOI":"10.1007\/978-3-642-40787-1_16"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] H. Masuhara, G. Kiczales, and C. Dutchyn, \u201cA compilation and optimization model for aspect-oriented programs,\u201d Proc. International Conference on Compiler Construction (CC), pp.46-60, Warsaw, Poland, 2003.","DOI":"10.1007\/3-540-36579-6_4"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] C. Allan, P. Avgustinov, A.S. Christensen, L. Hendren, S. Kuzins, O. Lhot\u00e1k, O. De Moor, D. Sereni, G. Sittampalam, and J. Tibble, \u201cAdding trace matching with free variables to aspectj,\u201d ACM SIGPLAN Notices, vol.40, no.10, pp.345-364, 2005.","DOI":"10.1145\/1103845.1094839"},{"key":"24","unstructured":"[24] E. Bodden, P. Lam, and L. Hendren, \u201cObject representatives: A uniform abstraction for pointer information,\u201d Proc. International Conference on Visions of Computer Science: BCS International Academic Conference, pp.391-405, London, UK, 2008."},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] E. Bodden, P. Lam, and L. Hendren, \u201cFinding programming errors earlier by evaluating runtime monitors ahead-of-time,\u201d Proc. ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.36-47, Atlanta, Georgia, USA, 2008.","DOI":"10.1145\/1453101.1453109"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] M. Das, S. Lerner, and M. Seigle, \u201cEsp: Path-sensitive program verification in polynomial time,\u201d Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.57-68, Berlin, Germany, 2002.","DOI":"10.1145\/543552.512538"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] S. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay, \u201cEffective typestate verification in the presence of aliasing,\u201d Proc. International Symposium on Software Testing and Analysis, pp.133-144, Portland, Maine, USA, 2006.","DOI":"10.1145\/1146238.1146254"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] F. Chen and G. Rosu, \u201cJava-mop: A monitoring oriented programming environment for java,\u201d Proc. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.546-550, Edinburgh, UK, 2005.","DOI":"10.1007\/978-3-540-31980-1_36"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] P.O. Meredith, D. Jin, F. Chen, and G. Rosu, \u201cEfficient monitoring of parametric context-free patterns,\u201d Autom. Softw. Eng., vol.17, no.2, pp.149-180, 2010.","DOI":"10.1007\/s10515-010-0063-y"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] M. Pradel, C. Jaspan, J. Aldrich, and T.R. Gross, \u201cStatically checking api protocol conformance with mined multi-object specifications,\u201d Proc. International Conference on Software Engineering, pp.925-935, Zurich, Switzerland, 2012.","DOI":"10.1109\/ICSE.2012.6227127"},{"key":"31","unstructured":"[31] \u201caspectj.\u201d http:\/\/eclipse.org\/aspectj\/"},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] P. Avgustinov, A.S. Christensen, L.J. Hendren, S. Kuzins, J. Lhot\u00e1k, O. Lhot\u00e1k, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble, \u201cabc: an extensible aspectj compiler,\u201d Proc. International Conference on Aspect-Oriented Software Development, pp.87-98, Chicago, Illinois, USA, 2005.","DOI":"10.1145\/1052898.1052906"},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] P. Avgustinov, J. Tibble, and O. de Moor, \u201cMaking trace monitors feasible,\u201d Proc. Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.589-608, Montreal, Quebec, Canada, 2007.","DOI":"10.1145\/1297105.1297070"},{"key":"34","doi-asserted-by":"crossref","unstructured":"[34] R. Purandare, M.B. Dwyer, and S.G. Elbaum, \u201cOptimizing monitoring of finite state properties through monitor compaction,\u201d Proc. International Symposium on Software Testing and Analysis, pp.280-290, Lugano, Switzerland, 2013.","DOI":"10.1145\/2483760.2483762"},{"key":"35","doi-asserted-by":"crossref","unstructured":"[35] E. Bodden, L. Hendren, and O. Lhot\u00e1k, \u201cA staged static program analysis to improve the performance of runtime monitoring,\u201d Proc. European Conference on Object-Oriented Programming, pp.525-549, Berlin, Germany, 2007.","DOI":"10.1007\/978-3-540-73589-2_25"},{"key":"36","doi-asserted-by":"crossref","unstructured":"[36] R. Purandare, M.B. Dwyer, and S. Elbaum, \u201cMonitor optimization via stutter-equivalent loop transformation,\u201d Proc. International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA), pp.270-285, Reno\/Tahoe, Nevada, USA, 2010.","DOI":"10.1145\/1869459.1869483"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E98.D\/6\/E98.D_2014EDP7329\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T18:06:42Z","timestamp":1566756402000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E98.D\/6\/E98.D_2014EDP7329\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2014edp7329","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}