{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:49:45Z","timestamp":1725814185572},"publisher-location":"Cham","reference-count":20,"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_32","type":"book-chapter","created":{"date-parts":[[2014,12,17]],"date-time":"2014-12-17T14:17:28Z","timestamp":1418825848000},"page":"406-420","source":"Crossref","is-referenced-by-count":0,"title":["Multi-angle Evaluations of Test Cases Based on Dynamic Analysis"],"prefix":"10.1007","author":[{"given":"Tao","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tu","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","volume-title":"Software Engineering, A Practitioner\u2019s Approach","author":"R.S. Pressman","year":"1997","unstructured":"Pressman, R.S.: Software Engineering, A Practitioner\u2019s Approach, 4th edn. McGraw-Hill, New York (1997)","edition":"4"},{"issue":"4","key":"32_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1543405.1543413","volume":"34","author":"S. Biswas","year":"2009","unstructured":"Biswas, S., Mall, R., Satpathy, M., Sukumaran, S.: A model-based regression test selection approach for embedded applications. ACM SIGSOFT Software Engineering Notes\u00a034(4), 1\u20139 (2009)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"8","key":"32_CR3","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/32.536955","volume":"22","author":"G. Rothermel","year":"1996","unstructured":"Rothermel, G., Harrold, M.J.: Analyzing regression test selection techniques. IEEE Transactions on Software Engineering\u00a022(8), 529\u2013551 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Feige, U.: A threshold of ln n for approximating set cover. J. ACM 45, 634\u2013652","DOI":"10.1145\/285055.285059"},{"key":"32_CR5","first-page":"94","volume-title":"Approximation Algorithms for NP-hard Problems","author":"D.S. Hochbaum","year":"1997","unstructured":"Hochbaum, D.S.: Approximating covering and packing problems: Set cover, vertex cover, independent set, and related problems. In: Approximation Algorithms for NP-hard Problems, pp. 94\u2013143. PWS Publishing Company, Boston (1997)"},{"key":"32_CR6","unstructured":"http:\/\/www.analytictech.com\/mb876\/handouts\/distance_and_correlation.htm\n                    \n                    \n                   (June 2014)"},{"key":"32_CR7","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Euclidean_distance#Squared_Euclidean_distance\n                    \n                    \n                   (July 2014)"},{"key":"32_CR8","unstructured":"http:\/\/en.wikipedia.org\/wiki\/White-box_testing\n                    \n                    \n                   (May 2014)"},{"key":"32_CR9","unstructured":"http:\/\/www.aspectc.org\/\n                    \n                    \n                   (June 2014)"},{"key":"32_CR10","unstructured":"http:\/\/www.gson.org\/egypt\/\n                    \n                    \n                   (July 2014)"},{"key":"32_CR11","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Maximum_coverage_problem\n                    \n                    \n                   (July 2014)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Chernak, Y.: Validating and Improving Test-Case Effectiveness. IEEE Software\u00a018(1) (January-February 2001)","DOI":"10.1109\/52.903172"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Peng, T.: Program Verification by Reachability Searching over Dynamic Call Tree. In: ADMA 2014 (2014)","DOI":"10.1007\/978-3-319-14717-8_46"},{"key":"32_CR14","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":"32_CR15","unstructured":"Zhao, C., Kong, J., Zhang, K.: Program Behavior Discover and Verfication: A Graph Grammar Appraoch. IEEE Transaction on Software Engineering (2010)"},{"key":"32_CR16","unstructured":"http:\/\/en.wikipedia.org\/wiki\/AspectC%2B%2B\n                    \n                    \n                   (June 2010)"},{"key":"32_CR17","series-title":"Lecture Notes in Computer Science","first-page":"327","volume-title":"User Modeling 2003","author":"G. Kiczales","year":"2003","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Brusilovsky, P., Corbett, A.T., de Rosis, F. (eds.) UM 2003. LNCS, vol.\u00a02702, pp. 327\u2013353. Springer, Heidelberg (2003)"},{"key":"32_CR18","unstructured":"Feng, X.: Analysis of AspectJ and its Applications in Reverse Engineering. Master Thesis of Software Engineering, Xian Electrical Science and Tehcnology University"},{"key":"32_CR19","volume-title":"Software testing research and software engineering education","author":"T. Ostrand","year":"2010","unstructured":"Ostrand, T., Weyuker, E.: Software testing research and software engineering education. ACM, New York (2010)"},{"key":"32_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36498-6_1","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A.: Software Testing Research and Practice. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 1\u201321. Springer, Heidelberg (2003)"}],"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_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:30:51Z","timestamp":1559093451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14717-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319147161","9783319147178"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14717-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}