{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:21:20Z","timestamp":1758266480931},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,6,15]],"date-time":"2011-06-15T00:00:00Z","timestamp":1308096000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10270-011-0206-z","type":"journal-article","created":{"date-parts":[[2011,6,15]],"date-time":"2011-06-15T04:30:50Z","timestamp":1308112250000},"page":"633-670","source":"Crossref","is-referenced-by-count":54,"title":["Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems"],"prefix":"10.1007","volume":"11","author":[{"given":"Shaukat","family":"Ali","sequence":"first","affiliation":[]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[]},{"given":"Hadi","family":"Hemmati","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,6,15]]},"reference":[{"key":"206_CR1","unstructured":"UML Profile for Modeling QoS and Fault Tolerance Characteristics and Mechanisms. http:\/\/www.omg.org\/spec\/QFTP\/1.1\/ (2010)"},{"key":"206_CR2","unstructured":"Modeling and Analysis of Real-time and Embedded systems (MARTE). http:\/\/www.omgmarte.org\/ (2010)"},{"key":"206_CR3","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: UMLsec: extending UML for secure systems development. In: Proceedings of the 5th International Conference on the Unified Modeling Language. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45800-X_32"},{"key":"206_CR4","unstructured":"IEEE Standard Glossary of Software Engineering Terminology. IEEE, IEEE Std 610.12-1990 (1990)"},{"key":"206_CR5","volume-title":"Aspect oriented software development: an approach to composing UML design models","author":"R. Yedduladoddi","year":"2009","unstructured":"Yedduladoddi R.: Aspect oriented software development: an approach to composing UML design models. VDM Verlag Dr. M\u00fcller, Saarbr\u00fccken (2009)"},{"key":"206_CR6","unstructured":"Whittle, J., Moreira, A., Ara\u00fajo, J., Jayaraman, P., Elkhodary, A., Rabbi, R.: An expressive aspect composition language for UML state diagrams (2007)"},{"issue":"2I","key":"206_CR7","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"H. Runeson","year":"2009","unstructured":"Runeson H., H\u00f6st M.: Guidelines for conducting and reporting case study research in software engineering. Empirical Softw. Eng. 14(2I), 131\u2013164 (2009)","journal-title":"Empirical Softw. Eng."},{"key":"206_CR8","volume-title":"Model-based security engineering with UML","author":"A. Aldini","year":"2005","unstructured":"Aldini A., Gorrieri R., Martinelli F., J\u00fcrjens J.: Model-based security engineering with UML. Springer, Berlin\/Heidelberg (2005)"},{"issue":"9-10I","key":"206_CR9","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1016\/j.infsof.2007.08.007","volume":"50","author":"J. P\u00e9reza","year":"2008","unstructured":"P\u00e9reza J., Ali N., Cars\u0131\u2019b J.A., Ramosb I., \u00c1lvarezc B., Sanchezc P., Pastorc J.A.: Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems. Inf. Softw. Technol. 50(9-10I), 969\u2013990 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"206_CR10","unstructured":"Cottenier, T., Berg, A.v.d., Elrad, T.: The Motorola WEAVR: model weaving in a large industrial context. In: Proceedings of the Aspect Oriented Software Development (AOSD) (2007)"},{"key":"206_CR11","doi-asserted-by":"crossref","unstructured":"Cottenier, T., Berg, A.v.d., Elrad, T.: Stateful aspects: the case for aspect-oriented modeling. In: Proceedings of the 10th International Workshop on Aspect-Oriented Modeling. ACM, Vancouver (2007)","DOI":"10.1145\/1229375.1229377"},{"key":"206_CR12","unstructured":"Shafique, M., Labiche, Y.A.: Systematic review of model based testing tools. Carleton University, Department of Systems and Computer Engineering. Technical Report (SCE-10-04) (2010)"},{"issue":"1I","key":"206_CR13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis A., Laprie J.-C., Randell B., Landwehr C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1(1I), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"206_CR14","unstructured":"IEEE Standard Classification for Software Anomalies. IEEE, IEEE Std 1044-2009 (2009)"},{"key":"206_CR15","unstructured":"Kermeta-Breathe Life into Your Metamodels, IRISA and INRIA. http:\/\/www.kermeta.org\/ (2010)"},{"key":"206_CR16","unstructured":"Ali, S., Hemmati, H., Holt, N.E., Arisholm, E., Briand, L.C.: Model Transformations as a strategy to automate model-based testing\u2014a tool and industrial case studies. Simula Research Laboratory, Technical Report (2010-01) (2010)"},{"key":"206_CR17","unstructured":"QTRONIC, CONFORMIQ. http:\/\/www.conformiq.com\/qtronic.php (2010)"},{"key":"206_CR18","unstructured":"Standard for Software Quality Characteristics. International Organization for Standardization, ISO-9126-3 (2003)"},{"key":"206_CR19","unstructured":"Software Assurance Standard. NASA Technical Standard, NASA-STD-8739.8 (2005)"},{"key":"206_CR20","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development","author":"C. Larman","year":"2004","unstructured":"Larman C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice Hall, Englewood Cliffs (2004)"},{"key":"206_CR21","doi-asserted-by":"crossref","unstructured":"Bruning, S., Weissleder, S., Malek, M.: A fault taxonomy for service-oriented architecture. In: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium. IEEE Computer Society (2007)","DOI":"10.1109\/HASE.2007.46"},{"key":"206_CR22","volume-title":"A Fault Taxonomy for Web Service Composition","author":"K.S. Chan","year":"2009","unstructured":"Chan K.S., Bishop J., Steyn J., Baresi L., Guinea S.: A Fault Taxonomy for Web Service Composition. Springer, Berlin (2009)"},{"issue":"6I","key":"206_CR23","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S1571-0661(04)81025-9","volume":"82","author":"L. Mariani","year":"2003","unstructured":"Mariani L.: A fault taxonomy for component-based software. Electron. Notes Theor. Comput. Sci. 82(6I), 55\u201365 (2003)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"206_CR24","unstructured":"Hayes, J.H.: Building a requirement fault taxonomy: experiences from a NASA verification and validation research project. In: Proceedings of the 14th International Symposium on Software Reliability Engineering. IEEE Computer Society (2003)"},{"key":"206_CR25","doi-asserted-by":"crossref","unstructured":"Ho, W.-M., J\u00e9z\u00e9quel, J.-M., Pennaneac\u2019h, F., Plouzeau, N.: A toolkit for weaving aspect oriented UML designs. In: Proceedings of the 1st International Conference on Aspect-Oriented Software Development. ACM, Enschede (2002)","DOI":"10.1145\/508397.508398"},{"key":"206_CR26","doi-asserted-by":"crossref","unstructured":"Kienzle, J., Abed, W.A., Klein, J.: Aspect-oriented multi-view modeling. In: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. ACM, Charlottesville (2009)","DOI":"10.1145\/1509239.1509252"},{"key":"206_CR27","unstructured":"Zhang, G.: Towards aspect-oriented state machines. In: Proceedings of the 2nd Asian Workshop on Aspect-Oriented Software Development (AOASIA\u201906), Tokyo (2006)"},{"key":"206_CR28","unstructured":"Zhang, G., H\u00f6lzl, M.: HiLA: High-Level Aspects for UML-state machines. In: Proceedings of the 14th Workshop on Aspect-Oriented Modeling (AOM@MoDELS\u201909) (2009)"},{"key":"206_CR29","unstructured":"Zhang, G., H\u00f6lzl, M.M., Knapp, A.: Enhancing UML State Machines with Aspects (2007)"},{"key":"206_CR30","unstructured":"Pazzi, L.: Explicit aspect composition by part-whole state charts. In: Proceedings of the Workshop on Object-Oriented Technology. Springer, Berlin (1999)"},{"key":"206_CR31","doi-asserted-by":"crossref","unstructured":"France, R., Ray, I., Georg, G., Ghosh, S.: Aspect-oriented approach to early design modelling. IEEE Softw. 151(4I) (2004)","DOI":"10.1049\/ip-sen:20040920"},{"key":"206_CR32","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"R.V. Binder","year":"1999","unstructured":"Binder R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Longman Publishing Co., Inc., Reading (1999)"},{"key":"206_CR33","doi-asserted-by":"crossref","unstructured":"Xu, D., Xu, W., Nygard, K.: A state-based approach to testing aspect-oriented programs. In: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering, Taiwan (2005)","DOI":"10.1145\/1119655.1119680"},{"key":"206_CR34","unstructured":"Lagarde, F., Espinoza, H., Terrier, F., Andr\u00e9, C., G\u00e9rard, S.: Leveraging Patterns on Domain Models to Improve UML Profile Definition (2008)"},{"key":"206_CR35","volume-title":"Systems Engineering with SysML\/UML: Modeling, Analysis, Design","author":"T. Weilkiens","year":"2008","unstructured":"Weilkiens T.: Systems Engineering with SysML\/UML: Modeling, Analysis, Design. Tim Weilkiens, Hamburg (2008)"},{"key":"206_CR36","unstructured":"UML Profile for Schedulability, Performance and Time. http:\/\/www.omg.org\/technology\/documents\/profile_catalog.htm (2010)"},{"key":"206_CR37","volume-title":"Model-Driven Testing: Using the UML Testing Profile","author":"P. Baker","year":"2007","unstructured":"Baker P., Dai Z.R., Grabowski J., Haugen \u00d8., Schieferdecker I., Williams C.: Model-Driven Testing: Using the UML Testing Profile. Springer, Berlin (2007)"},{"key":"206_CR38","volume-title":"EMF: Eclipse Modeling Framework","author":"D. Steinberg","year":"2008","unstructured":"Steinberg D., Budinsky F., Paternostro M., Merks E.: EMF: Eclipse Modeling Framework. Addison-Wesley Professional, Reading (2008)"},{"key":"206_CR39","volume-title":"Aspect-Oriented Software Development","author":"R.E. Filman","year":"2004","unstructured":"Filman R.E., Elrad T., Clarke S., Aksit M.: Aspect-Oriented Software Development. Addison-Wesley Professional, Reading (2004)"},{"key":"206_CR40","unstructured":"IBM OCL Parser, IBM. http:\/\/www-01.ibm.com\/software\/awdtools\/library\/standards\/ocl-download.html (2010)"},{"key":"206_CR41","unstructured":"OCLE. http:\/\/lci.cs.ubbcluj.ro\/ocle\/ (2010)"},{"key":"206_CR42","unstructured":"EyeOCL Software. http:\/\/maude.sip.ucm.es\/eos\/ (2010)"},{"key":"206_CR43","volume-title":"UML Bible","author":"T. Pender","year":"2003","unstructured":"Pender T.: UML Bible. Wiley, New York (2003)"},{"key":"206_CR44","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, Greenwich (2003)"},{"key":"206_CR45","unstructured":"Ali, S., Briand, L.C., Hemmati, H.: Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Simula Research Laboratory, Technical Report (2010-03) (2010)"},{"key":"206_CR46","doi-asserted-by":"crossref","unstructured":"Stein, D., Hanenberg, S., Unland, R.: A UML-based aspect-oriented design notation for AspectJ. In: Proceedings of the 1st International Conference on Aspect-Oriented Software Development. ACM, Enschede (2002)","DOI":"10.1145\/508397.508399"},{"key":"206_CR47","doi-asserted-by":"crossref","unstructured":"Clarke, S., Walker, R.J.: Composition patterns: an approach to designing reusable aspects. In: Proceedings of the 23rd International Conference on Software Engineering. IEEE Computer Society, Toronto (2001)","DOI":"10.1109\/ICSE.2001.919076"},{"key":"206_CR48","unstructured":"Stein, D., Hanenberg, S., Unland, R.: Designing aspect-oriented crosscutting in UML. In: Proceedings of the In AOSD-UML Workshop at AOSD \u201802 (2002)"},{"key":"206_CR49","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2007","unstructured":"Utting M., Legeard B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, San Fransisco (2007)"},{"key":"206_CR50","unstructured":"Tessier, F., Badri, L., Badri, M.: Towards a formal detection of semantic conflicts between aspects: a model-based approach. In: Proceedings of the The 5th Aspect-Oriented Modeling Workshop in Conjunction with UML 2004 (2004)"},{"key":"206_CR51","unstructured":"Perceptual Evaluation of Speech Quality (PESQ). http:\/\/en.wikipedia.org\/wiki\/PESQ (2010)"},{"key":"206_CR52","doi-asserted-by":"crossref","unstructured":"Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.C.: A search-based OCL constraint solver for model-based test data generation. In: Proceedings of the 11th International Conference on Quality Software (QSIC 2011) (2011)","DOI":"10.1109\/QSIC.2011.17"},{"key":"206_CR53","unstructured":"Ali, S., Yue, T., Briand, L.C., Malik, Z.I.: Does aspect-oriented modeling help improve the readability of UML state machines? Simula Reserach Laboratory, Technical Report (2010\u201311) (2010)"},{"key":"206_CR54","doi-asserted-by":"crossref","unstructured":"Pint\u00e9r, G., Majzik, I.: Modeling and Analysis of Exception Handling by Using UML Statecharts (2005)","DOI":"10.1007\/978-3-540-31869-9_6"},{"key":"206_CR55","unstructured":"Jiang, M., Zhang, J., Raymer, D., Strassner, J.: A modeling framework for self-healing software systems. In: Proceedings of the Models@run.time in conjunction with MoDELS\/UML (2007)"},{"key":"206_CR56","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.entcs.2009.12.037","volume":"260","author":"B. Lei","year":"2010","unstructured":"Lei B., Liu Z., Morisset C., Li X.: State based robustness testing for components. Electron. Notes Theor. Comput. Sci. 260, 173\u2013188 (2010)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3I","key":"206_CR57","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1109\/TSE.2006.22","volume":"32","author":"C. Nebut","year":"2006","unstructured":"Nebut C., Fleurey F., Traon Y.L., Jezequel J.-M.: Automatic test generation: a use case driven approach. IEEE Trans. Softw. Eng. 32(3I), 140\u2013155 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"206_CR58","doi-asserted-by":"crossref","unstructured":"Entwisle, S., Schmidt, H., Peake, I., Kendall, E.: A model driven exception management framework for developing reliable software systems. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference. IEEE Computer Society (2006)","DOI":"10.1109\/EDOC.2006.10"},{"key":"206_CR59","unstructured":"Jingjun, Z.: Modeling Aspect-Oriented Programming with UML Profile (2009)"},{"key":"206_CR60","doi-asserted-by":"crossref","unstructured":"J\u00fanior, J.U., Camargo, V.V., Chavez, C.V.F.: UML-AOF: a profile for modeling aspect-oriented frameworks. In: Proceedings of the 13th Workshop on Aspect-Oriented Modeling. ACM, Charlottesville (2009)","DOI":"10.1145\/1509297.1509299"},{"key":"206_CR61","unstructured":"Aldawud, O., Elrad, T., Bader, A.: UML profile for aspect-oriented software development. In: Proceedings of the The Third International Workshop on Aspect Oriented Modeling (2003)"},{"key":"206_CR62","doi-asserted-by":"crossref","unstructured":"Evermann, J.: A meta-level specification and profile for AspectJ in UML. In: Proceedings of the 10th International Workshop on Aspect-Oriented Modeling. ACM, Vancouver (2007)","DOI":"10.1145\/1229375.1229379"},{"key":"206_CR63","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cottenier, T., Berg, A.V.D., Gray, J.: Aspect composition in the motorola aspect-oriented modeling weaver. J. Object Technol. 6, 7I (2007)","DOI":"10.5381\/jot.2007.6.7.a4"},{"key":"206_CR64","volume-title":"Flexible Model Element Introduction Policies for Aspect-Oriented Modeling","author":"D. Petriu","year":"2010","unstructured":"Petriu D., Rouquette N., Haugen \u00d8., Morin B., Klein J., Kienzle J., J\u00e9z\u00e9quel J.-M.: Flexible Model Element Introduction Policies for Aspect-Oriented Modeling. Springer, Berlin (2010)"},{"key":"206_CR65","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-69073-3_3","volume-title":"MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation","author":"J. Whittle","year":"2008","unstructured":"Whittle J., Jayaraman P.: MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. Springer, Berlin (2008)"},{"key":"206_CR66","doi-asserted-by":"crossref","unstructured":"Xu, D., Xu, W.: State-based incremental testing of aspect-oriented programs. In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development. ACM, Bonn (2006)","DOI":"10.1145\/1119655.1119680"},{"key":"206_CR67","doi-asserted-by":"crossref","unstructured":"Xu, D., Xu, W., Nygard, K.: A State-based approach to testing aspect-oriented programs. In: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (2005)","DOI":"10.1145\/1119655.1119680"},{"key":"206_CR68","unstructured":"Xu, W., Xu, D.: A model-based approach to test generation for aspect-oriented programs. In: Proceedings of the First Workshop on Testing Aspect-Oriented Programs (2005)"},{"key":"206_CR69","unstructured":"Bruel, J.-M., Ara\u00fajo, J., Moreira, A., Royer, A.: Using aspects to develop built-in tests for components. In: Proceedings of the In AOSD Modeling with UML Workshop. 6th International Conference on the Unified Modeling Language (2003)"},{"key":"206_CR70","unstructured":"Bruel, J.M., Moreira, A., Ara\u00fajo, J.: Adding Behavior Description Support to COTS Components through the Use of Aspects. In: Proceedings of the 2nd Workshop on Models for Non-functional Aspects of Component-Based Software (2005)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0206-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0206-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0206-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T18:55:15Z","timestamp":1560279315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0206-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,15]]},"references-count":70,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["206"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0206-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,15]]}}}