{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:49:19Z","timestamp":1725814159710},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147161"},{"type":"electronic","value":"9783319147178"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14717-8_46","type":"book-chapter","created":{"date-parts":[[2014,12,17]],"date-time":"2014-12-17T09:17:28Z","timestamp":1418807848000},"page":"588-601","source":"Crossref","is-referenced-by-count":1,"title":["Program Verification by Reachability Searching over Dynamic Call Tree"],"prefix":"10.1007","author":[{"given":"Tu","family":"Peng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal: Toolbox for Verification of Realtime System, Department of Computer Science, Aalborg University, Denmark","key":"46_CR1"},{"issue":"1","key":"46_CR2","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The Concurrency Workbench: A semantics-based tool for the verification of concurrent systems. ACM Trans. on Prog. Lang. and Systems\u00a015(1), 36\u201372 (1993)","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"key":"46_CR3","first-page":"262","volume":"3","author":"J. Dong","year":"2004","unstructured":"Dong, J., Alencar, P., Cowan, D.: A behavioral analysis and verification approach to pattern-based design composition. Software and Systems Modeling\u00a03, 262\u2013272 (2004)","journal-title":"Software and Systems Modeling"},{"issue":"3","key":"46_CR4","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/j.infsof.2009.10.001","volume":"53","author":"J. Dong","year":"2010","unstructured":"Dong, J., Peng, T.: Automated Verfication of Design Pattern Compostiions. Information and Software Technology (IST)\u00a053(3), 274\u2013295 (2010)","journal-title":"Information and Software Technology (IST)"},{"unstructured":"Feng, X.: Analysis of AspectJ and its Applications in Reverse Engineering. Master Thesis of Software Engineering, Xian Electrical Science and Tehcnology University","key":"46_CR5"},{"issue":"5","key":"46_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"J. Gerard","year":"1997","unstructured":"Gerard, J.: Holzmann, The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"46_CR7","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1016\/j.jss.2008.06.030","volume":"82","author":"J. Kong","year":"2009","unstructured":"Kong, J., Zhang, K., Dong, J., Xua, D.X.: Specifying behavioral semantics of UML diagrams through graph transformations. Journal of Systems and Software\u00a082(2), 292\u2013306 (2009)","journal-title":"Journal of Systems and Software"},{"key":"46_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"unstructured":"Li, X.S., Liu, Z.M., He, J.F.: A Formal Semantics of UML Sequence Diagrams. In: The Proceedings of ASWEC 2004, Melbourne, Australia, pp. 13\u201316 (April 2004)","key":"46_CR9"},{"unstructured":"Li, N.: Call Graph Analysis Tool for Aspect Oriented Programs, Master Thesis, Shanghai Jiaotong University (2007)","key":"46_CR10"},{"key":"46_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.entcs.2009.09.064","volume":"254","author":"V. Lima","year":"2009","unstructured":"Lima, V., Talhi, C., Mouheb, D., Debbabi, M., Wang, L.: Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. Electronic Notes in Theoretical Computer Science\u00a0254, 143\u2013160 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall (1989)","key":"46_CR12"},{"unstructured":"Murphy, G.C., Notkin, D., Lan, E.: An Empirial Study of Static Call Graph Extractors. In: ICSE (1996)","key":"46_CR13"},{"doi-asserted-by":"crossref","unstructured":"Yousefi, A., Wassyng, A.: A Call Graph Mining and Matching Based Defect Localization Technique. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (2013)","key":"46_CR14","DOI":"10.1109\/ICSTW.2013.17"},{"unstructured":"Zhao, C., Kong, J., Zhang, K.: Program Behavior Discover and Verfication: A Graph Grammar Approach. IEEE Transaction on Software Engineering (2010)","key":"46_CR15"},{"unstructured":"UML basics of Sequence Diagrams, IBM developers Work (February 2004), \n                    \n                      http:\/\/www.ibm.com\/developerworks\/rational\/library\/3101.html","key":"46_CR16"},{"unstructured":"JFtp: a graphical network browser, \n                    \n                      http:\/\/sourceforge.net\/projects\/j-ftp\/files\/jftp\/","key":"46_CR17"}],"container-title":["Lecture Notes in Computer Science","Advanced Data Mining and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14717-8_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T23:18:01Z","timestamp":1539386281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14717-8_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319147161","9783319147178"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14717-8_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}