{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:05:33Z","timestamp":1746331533787,"version":"3.40.4"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091556"},{"type":"electronic","value":"9783319091563"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09156-3_30","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T11:15:22Z","timestamp":1404299722000},"page":"418-433","source":"Crossref","is-referenced-by-count":3,"title":["A State-Based Testing Method for Detecting Aspect Composition Faults"],"prefix":"10.1007","author":[{"given":"F\u00e1bio Fagundes","family":"Silveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adilson Marques","family":"da Cunha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria L\u00facia","family":"Lisb\u00f4a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Aspect-Oriented Software Development","year":"2005","key":"30_CR1","unstructured":"Filman, R., Elrad, T., Clarke, S., Ak\u015fit, M. (eds.): Aspect-Oriented Software Development. Addison-Wesley, Boston (2005)"},{"key":"30_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., et al.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1016\/j.scico.2009.05.001","volume":"74","author":"O. Lemos","year":"2009","unstructured":"Lemos, O., Franchin, I., Masiero, P.: Integration testing of object-oriented and aspect-oriented programs: A structural pairwise approach for java. Science of Comp. Programming\u00a074, 861\u2013878 (2009)","journal-title":"Science of Comp. Programming"},{"issue":"13","key":"30_CR4","doi-asserted-by":"publisher","first-page":"2721","DOI":"10.1016\/j.ins.2010.06.003","volume":"181","author":"O. Lemos","year":"2011","unstructured":"Lemos, O., Masiero, P.: A pointcut-based coverage analysis approach for aspect-oriented programs. Info. Sciences\u00a0181(13), 2721\u20132746 (2011)","journal-title":"Info. Sciences"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Xiong, L., Li, J.: A structural testing approach for aspect-oriented programs based on data and control flow. In: 2013 4th IEEE International Conference on Software Engineering and Service Science (ICSESS), pp. 85\u201388 (May 2013)","DOI":"10.1109\/ICSESS.2013.6615261"},{"issue":"1","key":"30_CR6","first-page":"11","volume":"24","author":"C.-H. Liu","year":"2008","unstructured":"Liu, C.-H., Chang, C.-W.: A state-based testing approach for aspect-oriented programming. J. Inf. Sci. Eng.\u00a024(1), 11\u201331 (2008)","journal-title":"J. Inf. Sci. Eng."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Xu, D., Ding, J.: Prioritizing state-based aspect tests. In: 2010 Third International Conference on Software Testing, Verification and Validation (ICST), pp. 265\u2013274 (April 2010)","DOI":"10.1109\/ICST.2010.14"},{"issue":"4","key":"30_CR8","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/stvr.440","volume":"22","author":"D. Xu","year":"2012","unstructured":"Xu, D., el Ariss, O., Xu, W., Wang, L.: Testing aspect-oriented programs with finite state machines. Softw. Test., Verif. Reliab.\u00a022(4), 267\u2013293 (2012)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Delamare, R., Baudry, B., Le-Traon, Y.: Ajmutator: A tool for the mutation analysis of aspectj pointcut descriptors. In: International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2009, pp. 200\u2013204 (April 2009)","DOI":"10.1109\/ICSTW.2009.41"},{"issue":"9","key":"30_CR10","doi-asserted-by":"publisher","first-page":"1639","DOI":"10.1016\/j.scico.2013.02.011","volume":"78","author":"F.C. Ferrari","year":"2013","unstructured":"Ferrari, F.C., Rashid, A., Maldonado, J.C.: Towards the practical mutation testing of aspectj programs. Science of Computer Programming\u00a078(9), 1639\u20131662 (2013)","journal-title":"Science of Computer Programming"},{"key":"30_CR11","unstructured":"Silveira, F.F., da Cunha, A.M., de Resende, A.M.P., Lisb\u00f4a, M.L.B.: The testing activity on the aspect-oriented paradigm. In: Proceedings of the 1st Workshop on Testing Aspect-Oriented Programs at AOSD 2005 (2005)"},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R.A. DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. J. -Computer\u00a011, 34\u201341 (1978)","journal-title":"J. -Computer"},{"key":"30_CR13","unstructured":"Alexander, R.T., Bieman, J.M., Andrews, A.A.: Towards the systematic testing of aspect-oriented programs. Tech. Rep. CS-4-105, Colorado State University, Fort Collins, Colorado (2004)"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Bsekken, J., Alexander, R.: A candidate fault model for aspectj pointcuts. In: 17th International Symposium on Software Reliability Engineering, ISSRE 2006, pp. 169\u2013178 (November 2006)","DOI":"10.1109\/ISSRE.2006.6"},{"key":"30_CR15","unstructured":"Bergmans, L., Tekinerdogan, B., Glandrup, M., Aksit, M.: On composing separated concerns: Composability and composition anomalies. In: Workshop on Advanced Separation of Concerns (2000)"},{"key":"30_CR16","unstructured":"Mortensen, M., Alexander, R.T.: An approach for adequate testing of aspectJ programs. In: Proceedings of the 1st Workshop on Testing Aspect-Oriented Programs at AOSD 2005 (2005)"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Anbalagan, P., Xie, T.: Automated generation of pointcut mutants for testing pointcuts in aspectj programs. In: 19th International Symposium on Software Reliability Engineering, ISSRE 2008, pp. 239\u2013248 (November 2008)","DOI":"10.1109\/ISSRE.2008.58"},{"key":"30_CR18","first-page":"51","volume-title":"Proceedings of the 5th Workshop on Automation of Software Test, AST 2010","author":"F.C. Ferrari","year":"2010","unstructured":"Ferrari, F.C., Nakagawa, E.Y., Rashid, A., Maldonado, J.C.: Automating the mutation testing of aspect-oriented java programs. In: Proceedings of the 5th Workshop on Automation of Software Test, AST 2010, pp. 51\u201358. ACM, New York (2010)"},{"key":"30_CR19","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/1806799.1806813","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010","author":"F. Ferrari","year":"2010","unstructured":"Ferrari, F., Burrows, R., et al.: An exploratory study of fault-proneness in evolving aspect-oriented programs. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010, vol.\u00a01, pp. 65\u201374. ACM, New York (2010)"},{"key":"30_CR20","unstructured":"Xu, W., Xu, D., Goel, V., Nygard, K.: Aspect flow graph for testing aspect-oriented programs. In: Proceedings of the 8th IASTED International Conference on Software Engineering and Applications. ACTA Press (2004)"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"Xu, D., Xu, W., Nygard, K.: A state-based approach to testing aspect-oriented programs. In: SEKE 2005: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering, Taipei (July 2005)","DOI":"10.1145\/1119655.1119680"},{"key":"30_CR22","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"R.V. Binder","year":"2001","unstructured":"Binder, R.V.: Testing object-oriented systems: models, patterns, and tools. Addison-Wesley, Boston (2001)"},{"key":"30_CR23","first-page":"180","volume-title":"AOSD 2006: Proceedings of the 5th International Conference on Aspect-Oriented Software Development","author":"D. Xu","year":"2006","unstructured":"Xu, D., Xu, W.: State-based incremental testing of aspect-oriented programs. In: AOSD 2006: Proceedings of the 5th International Conference on Aspect-Oriented Software Development, pp. 180\u2013189. ACM Press, New York (2006)"},{"issue":"3","key":"30_CR24","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1142\/S0218194008003672","volume":"18","author":"D. Xu","year":"2008","unstructured":"Xu, D., Xu, W., Wong, W.E.: Testing aspect-oriented programs with uml design models. International Journal of Software Engineering and Knowledge Engineering\u00a018(3), 413\u2013437 (2008)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"6","key":"30_CR25","doi-asserted-by":"publisher","first-page":"862","DOI":"10.1016\/j.jss.2006.08.022","volume":"80","author":"O. Lemos","year":"2007","unstructured":"Lemos, O., Vincenzi, A., Maldonado, J., Masiero, P.: Control and data flow structural testing criteria for aspect-oriented programs. J. Syst. and Software\u00a080(6), 862\u2013882 (2007)","journal-title":"J. Syst. and Software"},{"key":"30_CR26","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1016\/j.jss.2012.08.031","volume":"86","author":"U. Kulesza","year":"2013","unstructured":"Kulesza, U., Soares, S., Chavez, C., et al.: The crosscutting impact of the AOSD Brazilian research community. Journal of Systems and Software\u00a086, 905\u2013933 (2013)","journal-title":"Journal of Systems and Software"},{"key":"30_CR27","volume-title":"AspectJ in Action: Practical Aspect-Oriented Programming","author":"R. Laddad","year":"2003","unstructured":"Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co., Greenwich (2003)"},{"key":"30_CR28","first-page":"352","volume-title":"Proceedings of the International Symposium on Software Reliability Engineering, ISSRE 2002","author":"Y.-S. Ma","year":"2002","unstructured":"Ma, Y.-S., Kwon, Y.-R., Offutt, J.: Inter-class mutation operators for java. In: Proceedings of the International Symposium on Software Reliability Engineering, ISSRE 2002, p. 352. IEEE Computer Society, Washington, DC (2002)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09156-3_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:56:00Z","timestamp":1746291360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09156-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091556","9783319091563"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09156-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}