{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:09:51Z","timestamp":1742933391807,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319624068"},{"type":"electronic","value":"9783319624075"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62407-5_7","type":"book-chapter","created":{"date-parts":[[2017,7,14]],"date-time":"2017-07-14T11:16:58Z","timestamp":1500031018000},"page":"95-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Model-Based Testing Method for Dynamic Aspect-Oriented Software"],"prefix":"10.1007","author":[{"given":"Maria Laura Pires","family":"Souza","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2063-2959","authenticated-orcid":false,"given":"F\u00e1bio Fagundes","family":"Silveira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,15]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Alam, F.E., Evermann, J., Fiech, A.: Modeling for dynamic aspect-oriented development. In: Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering, pp. 143\u2013147. ACM (2009)","DOI":"10.1145\/1557626.1557649"},{"key":"7_CR2","unstructured":"Alexander, R.T., Bieman, J.M., Andrews, A.A.: Towards the systematic testing of aspect-oriented programs. Rapport technique, Colorado State University (2004)"},{"key":"7_CR3","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"RV Binder","year":"2001","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Professional, Boston (2001)"},{"key":"7_CR4","unstructured":"DeMillo, R.A.: Mutation analysis as a tool for software quality assurance. Technical report, DTIC Document (1980)"},{"issue":"6","key":"7_CR5","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1109\/TSE.2008.52","volume":"34","author":"JS Dong","year":"2008","unstructured":"Dong, J.S., Hao, P., Qin, S., Sun, J., Yi, W.: Timed automata patterns. IEEE Trans. Softw. Eng. 34(6), 844\u2013859 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"9","key":"7_CR6","doi-asserted-by":"publisher","first-page":"1639","DOI":"10.1016\/j.scico.2013.02.011","volume":"78","author":"FC Ferrari","year":"2013","unstructured":"Ferrari, F.C., Rashid, A., Maldonado, J.C.: Towards the practical mutation testing of AspectJ programs. Sci. Comput. Program. 78(9), 1639\u20131662 (2013)","journal-title":"Sci. Comput. Program."},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-03764-1_1","volume-title":"Transactions on Aspect-Oriented Software Development VI","author":"L Fuentes","year":"2009","unstructured":"Fuentes, L., S\u00e1nchez, P.: Dynamic weaving of aspect-oriented executable UML models. In: Katz, S., Ossher, H., France, R., J\u00e9z\u00e9quel, J.-M. (eds.) Transactions on Aspect-Oriented Software Development VI. LNCS, vol. 5560, pp. 1\u201338. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-03764-1_1"},{"issue":"6","key":"7_CR8","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S Fujiwara","year":"1991","unstructured":"Fujiwara, S., Bochmann, G.V., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Trans. Softw. Eng. 17(6), 591\u2013603 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.infsof.2016.04.007","volume":"81","author":"B Lindstr\u00f6m","year":"2016","unstructured":"Lindstr\u00f6m, B., Offutt, J., Sundmark, D., Andler, S.F., Pettersson, P.: Using mutation to design tests for aspect-oriented models. Inf. Softw. Technol. 81, 112\u2013130 (2016)","journal-title":"Inf. Softw. Technol."},{"key":"7_CR11","unstructured":"Moreira, R.M., Paiva, A.C., Aguiar, A.: Testing aspect-oriented programs. In: 2010 5th Iberian Conference on Information Systems and Technologies (CISTI), pp. 1\u20136. IEEE (2010)"},{"key":"7_CR12","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2004","unstructured":"Myers, G.J., Sandler, C.: The Art of Software Testing. Wiley, Hoboken (2004)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-319-09156-3_30","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2014","author":"FF Silveira","year":"2014","unstructured":"Silveira, F.F., da Cunha, A.M., Lisb\u00f4a, M.L.: A state-based testing method for detecting aspect composition faults. In: Murgante, B., et al. (eds.) ICCSA 2014. LNCS, vol. 8583, pp. 418\u2013433. Springer, Cham (2014). doi:10.1007\/978-3-319-09156-3_30"},{"key":"7_CR14","unstructured":"Sivaharan, T., Blair, G.S., Friday, A., Wu, M., Duran-Limon, H., Okanda, P., S\u00f8rensen, C.F., EU FET: Cooperating sentient vehicles for next generation automobiles. In: ACM\/USENIX MobiSys 2004 International Workshop on Applications of Mobile Embedded Systems (WAMES 2004 Online Proceedings) (2004)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 371\u2013380. ACM, New York (2006)","DOI":"10.1145\/1134285.1134337"},{"issue":"9","key":"7_CR16","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1007\/s00607-013-0295-3","volume":"95","author":"Y Zhao","year":"2013","unstructured":"Zhao, Y., Li, Z., Shen, H., Ma, D.: Development of global specification for dynamically adaptive software. Computing 95(9), 785\u2013816 (2013)","journal-title":"Computing"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2017"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62407-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:02:09Z","timestamp":1710266529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-62407-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319624068","9783319624075"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62407-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"15 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trieste","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 July 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}