{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:39:42Z","timestamp":1725748782638},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_16","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"269-284","source":"Crossref","is-referenced-by-count":3,"title":["Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations"],"prefix":"10.1007","author":[{"given":"Chengsong","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenbang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoguang","family":"Mao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Clara, \n                    \n                      http:\/\/www.bodden.de\/clara\/"},{"issue":"10","key":"16_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/1103845.1094839","volume":"40","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., De Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to aspectj. ACM SIGPLAN Notices\u00a040(10), 345\u2013364 (2005)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1145\/1297027.1297050","volume-title":"22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications (OOPSLA)","author":"K. Bierhoff","year":"2007","unstructured":"Bierhoff, K., Aldrich, J.: Modular typestate checking of aliased objects. In: 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications (OOPSLA), pp. 301\u2013320. ACM, New York (2007)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/1167473.1167488","volume-title":"21st Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications (OOPSLA)","author":"S.M. Blackburn","year":"2006","unstructured":"Blackburn, S.M., Garner, R., Hoffmann, C., Khang, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The dacapo benchmarks: Java benchmarking development and analysis. In: 21st Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 169\u2013190. ACM, New York (2006)"},{"key":"16_CR5","unstructured":"Bodden, E.: J-lo-a tool for runtime-checking temporal assertions. Master\u2019s thesis, RWTH Aachen university (2005)"},{"key":"16_CR6","unstructured":"Bodden, E.: Verifying Finite-state Properties of Large-scale Programs. Ph.D. thesis, McGill University (2009)"},{"key":"16_CR7","first-page":"5","volume-title":"32nd International Conference on Software Engineerin (ICSE)","author":"E. Bodden","year":"2010","unstructured":"Bodden, E.: Efficient hybrid typestate analysis by determining continuation-equivalent states. In: 32nd International Conference on Software Engineerin (ICSE), pp. 5\u201314. IEEE, ACM, New York (2010)"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/1453101.1453109","volume-title":"16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)","author":"E. Bodden","year":"2008","unstructured":"Bodden, E., Lam, P., Hendren, L.: Finding programming errors earlier by evaluating runtime monitors ahead-of-time. In: 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), pp. 36\u201347. ACM, New York (2008)"},{"key":"16_CR9","first-page":"391","volume-title":"International Conference on Visions of Computer Science: BCS International Academic Conference (VoCS)","author":"E. Bodden","year":"2008","unstructured":"Bodden, E., Lam, P., Hendren, L.: Object representatives: A uniform abstraction for pointer information. In: International Conference on Visions of Computer Science: BCS International Academic Conference (VoCS), pp. 391\u2013405. British Computer Society, Swinton (2008)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-16612-9_15","volume-title":"Runtime Verification","author":"E. Bodden","year":"2010","unstructured":"Bodden, E., Lam, P., Hendren, L.: Clara: A framework for partially evaluating finite-state runtime monitors ahead of time. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 183\u2013197. Springer, Heidelberg (2010)"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/1297027.1297069","volume-title":"22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications (OOPSLA)","author":"F. Chen","year":"2007","unstructured":"Chen, F., Ro\u015fu, G.: Mop: An efficient and generic runtime verification framework. In: 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications (OOPSLA), pp. 569\u2013588. ACM, New York (2007)"},{"key":"16_CR12","first-page":"124","volume-title":"22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"M.B. Dwyer","year":"2007","unstructured":"Dwyer, M.B., Purandare, R.: Residual dynamic typestate analysis exploiting static analysis: Results to reformulate and reduce the cost of dynamic analysis. In: 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 124\u2013133. ACM, New York (2007)"},{"key":"16_CR13","first-page":"133","volume-title":"15th International Symposium on Software Testing and Analysis (ISSTA)","author":"S. Fink","year":"2006","unstructured":"Fink, S., Yahav, E., Dor, N., Ramalingam, G., Geay, E.: Effective typestate verification in the presence of aliasing. In: 15th International Symposium on Software Testing and Analysis (ISSTA), pp. 133\u2013144. ACM, New York (2006)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented Programming. Springer (1997)","DOI":"10.1007\/BFb0053381"},{"key":"16_CR15","first-page":"51","volume-title":"International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM)","author":"I.H. Kr\u00fcger","year":"2006","unstructured":"Kr\u00fcger, I.H., Lee, G., Meisinger, M.: Automating software architecture exploration with m2aspects. In: International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), pp. 51\u201358. ACM, New York (2006)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/1181775.1181802","volume-title":"14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT\/FSE)","author":"S. Maoz","year":"2006","unstructured":"Maoz, S., Harel, D.: From multi-modal scenarios to code: Compiling lscs into aspectj. In: 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT\/FSE), pp. 219\u2013230. ACM, New York (2006)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-36579-6_4","volume-title":"Compiler Construction","author":"H. Masuhara","year":"2003","unstructured":"Masuhara, H., Kiczales, G., Dutchyn, C.: A compilation and optimization model for aspect-oriented programs. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 46\u201360. Springer, Heidelberg (2003)"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1145\/1449764.1449792","volume-title":"23rd ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications (OOPSLA)","author":"N.A. Naeem","year":"2008","unstructured":"Naeem, N.A., Lhotak, O.: Typestate-like analysis of multiple interacting objects. In: 23rd ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications (OOPSLA), pp. 347\u2013366. ACM, New York (2008)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Pradel, M., Jaspan, C., Aldrich, J., Gross, T.R.: Statically checking api protocol conformance with mined multi-object specifications. In: 34th International Conference on Software Engineering (ICSE). IEEE Press, Piscataway (2012)","DOI":"10.1109\/ICSE.2012.6227127"},{"key":"16_CR20","unstructured":"Purandare, R.: Exploiting Program and Property Structure for Efficient Runtime Monitoring. Ph.D. thesis, University of Nebraska-Lincoln (2011)"},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/1869459.1869483","volume-title":"25th International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)","author":"R. Purandare","year":"2010","unstructured":"Purandare, R., Dwyer, M.B., Elbaum, S.: Monitor optimization via stutter-equivalent loop transformation. In: 25th International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA), pp. 270\u2013285. ACM, New York (2010)"},{"issue":"8","key":"16_CR22","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/280324.280335","volume":"41","author":"S.A. Slaughter","year":"1998","unstructured":"Slaughter, S.A., Harter, D.E., Krishnan, M.S.: Evaluating the cost of software quality. Communications of the ACM\u00a041(8), 67\u201373 (1998)","journal-title":"Communications of the ACM"},{"issue":"1","key":"16_CR23","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R.E. Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering\u00a012(1), 157\u2013171 (1986)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:27:13Z","timestamp":1558078033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}