{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T05:21:27Z","timestamp":1736054487765,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540295723"},{"type":"electronic","value":"9783540320920"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11572329_8","type":"book-chapter","created":{"date-parts":[[2005,10,12]],"date-time":"2005-10-12T13:09:38Z","timestamp":1129122578000},"page":"61-79","source":"Crossref","is-referenced-by-count":8,"title":["A Method for Modeling and Testing Exceptions in Component-Based Software Development"],"prefix":"10.1007","author":[{"given":"Patrick Henrique","family":"da S. Brito","sequence":"first","affiliation":[]},{"given":"Camila Ribeiro","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Fernando Castor","family":"Filho","sequence":"additional","affiliation":[]},{"given":"Eliane","family":"Martins","sequence":"additional","affiliation":[]},{"given":"Cec\u00edlia M. Fischer","family":"Rubira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Fault Tolerance: Principles and Practice","author":"T. Anderson","year":"1990","unstructured":"Anderson, T., Lee, P.A.: Fault Tolerance: Principles and Practice, 2nd edn. Prentice-Hall, Englewood Cliffs (1990)","edition":"2"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-1-4615-4339-8_16","volume-title":"Proceedings of the 1st conference on Software product lines : experience and research directions","author":"C. Atkinson","year":"2000","unstructured":"Atkinson, C., Bayer, J., Muthig, D.: Component-based product line development: the kobra approach. In: Proceedings of the 1st conference on Software product lines: experience and research directions, Norwell, MA, USA, pp. 289\u2013309. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"8_CR3","unstructured":"Atkinson, C., Gross, H.-G.: Built-in contract testing in model-driven, component-based development. In: Proceedings of the 1st International Working Conference on Component Deployment, Workshop on Component-based Software Development Processes (2002)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.entcs.2004.02.084","volume":"116","author":"A. Bertolino","year":"2005","unstructured":"Bertolino, A., Marchetti, E., Muccini, H.: Introducing a reasonably complete and coherent approach for model-based testing. Electr. Notes Theor. Comput. Sci.\u00a0116, 85\u201397 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"9","key":"8_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/182987.184077","volume":"37","author":"R.V. Binder","year":"1994","unstructured":"Binder, R.V.: Design for testability in object-oriented systems. Communications of the ACM\u00a037(9), 87\u2013101 (1994)","journal-title":"Communications of the ACM"},{"key":"8_CR6","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., Amsterdam (1999)"},{"key":"8_CR7","unstructured":"Briand, L., Dzidek, W., Labiche, Y.: Using aspect-oriented programming to instrument ocl contracts in java. Technical Report SCE-04-03, Carleton University (2004)"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L. Briand","year":"2002","unstructured":"Briand, L., Labiche, Y.: A uml-based approach to system testing. Software and Systems Modeling\u00a01(1), 10\u201342 (2002)","journal-title":"Software and Systems Modeling"},{"key":"8_CR9","unstructured":"Chessman, J., Daniels, J.: UML Components: A Simple Process for Specifying Component-Based Software. Paperback (1992)"},{"key":"8_CR10","unstructured":"da Silva Brito, P.H., Rocha, C.R., Martins, E., Rubira, C.M.F.: An integrated method for modeling and testing exceptions in component-based software development: A case study (in portuguese). Technical Report (to appear), Institute of Computing (2005)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"da Silva Jr., M.C., de C. Guerra, P.A., Rubira, C.M.F.: A java component model for evolving software systems. In: Proc. of the ASE, pp. 327\u2013330 (2003)","DOI":"10.1109\/ASE.2003.1240331"},{"key":"8_CR12","unstructured":"de Lemos, R., Romanovsky, A.: Exception handling in a cooperative object-oriented approach. In: Proc. of the 2nd IEEE ISORC 1999 (May 1999)"},{"key":"8_CR13","first-page":"667","volume-title":"DSN","author":"R.L. Oliveira Moraes de","year":"2003","unstructured":"de Oliveira Moraes, R.L., Martins, E.: Jaca - a software fault injection tool. In: DSN, p. 667. IEEE Computer Society, Los Alamitos (2003)"},{"key":"8_CR14","volume-title":"Objects, Components, and Frameworks with UML The Catalysis Approach","author":"D. D\u2019Souza","year":"1999","unstructured":"D\u2019Souza, D., Wills, A.C.: Objects, Components, and Frameworks with UML The Catalysis Approach, 2nd edn. Addison-Wesley, Reading (1999)","edition":"2"},{"key":"8_CR15","unstructured":"Farias, C., Machado, P.: A functional testing method for components verification (in portuguese). In: Proc. Brazilian Software Engineering Symposium, SBES (2003)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Filho, F.C., Brito, P.H.S., Rubira, C.M.F.: A framework for analyzing exception flow in software architectures. In: Proceedings of the ICSE 2005 Workshop on Architecting Dependable Systems (2005)","DOI":"10.1145\/1083217.1083221"},{"key":"8_CR17","unstructured":"Filho, F.C., de C. Guerra, P.A., Pagano, V.A., Rubira, C.M.F.: A systematic approach for structuring exception handling in robust component-based software. Journal of the Brazilian Computer Society - Special Issue on Dependable Computing (2005)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Goodenough, J.B.: Exceptional handling: Issues and a proposed notation. CACM\u00a018(12) (1975)","DOI":"10.1145\/361227.361230"},{"key":"8_CR19","unstructured":"Object\u00a0Management Group. OMG Unified Modeling Language Specification Version 1.5 (2003)"},{"key":"8_CR20","unstructured":"Object\u00a0Management Group. UML 2.0 OCL Specification (2003)"},{"key":"8_CR21","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., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"8_CR22","unstructured":"Koopman, P.: et\u00a0al. Ballista project: Cots software robustness testing (2003), http:\/\/www.ece.cmu.edu\/~koopman\/ballista\/"},{"key":"8_CR23","first-page":"230","volume-title":"FTCS 1998: Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing","author":"N.P. Kropp","year":"1998","unstructured":"Kropp, N.P., Koopman, P.J., Siewiorek, D.P.: Automated robustness testing of off-the-shelf software components. In: FTCS 1998: Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, Washington, DC, USA, p. 230. IEEE Computer Society, Los Alamitos (1998)"},{"key":"8_CR24","unstructured":"Martins, E., Toyota, C.M., Yanagawa, R.L.: Constructing self-testable software components. In: Proc. DSN 2001 (2001)"},{"key":"8_CR25","unstructured":"Messina, S., Pleinevaux, P.: Enhancing cimosa with exception handling. In: Proceedings of the International Symposium on Robotics and Manufacturing ISRAM, World Automation Congress 1996, Montpellier, France (May 1996)"},{"key":"8_CR26","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-Oriented Software Construction, 1st edn. Prentice-Hall, Englewood Cliffs (1988)","edition":"1"},{"key":"8_CR27","unstructured":"Reimer, D., Srinivasan, H.: Analysing exception usage in large java applications. In: Proc. of ECOOP Workshop on Exception Handling in Object-Oriented Systems(EHOOS 2003) (2003)"},{"key":"8_CR28","volume-title":"Introduction to Algorithms","author":"R.L. Rivest","year":"1990","unstructured":"Rivest, R.L., Leiserson, C.E.: Introduction to Algorithms. McGraw-Hill, Inc., New York (1990)"},{"key":"8_CR29","unstructured":"Rocha, C.R., Martins, E.: A strategy to improve component testability without source code. In: Beydeda, S., Gruhn, V., Mayer, J., Reussner, R., Schweiggert, F. (eds.) SOQUA\/TECOS, GI. LNI, vol.\u00a058, pp. 47\u201362 (2004)"},{"key":"8_CR30","volume-title":"Software Practice and Experience","author":"C. Rubira","year":"2005","unstructured":"Rubira, C., de Lemos, R., Ferreira, G., Filho, F.C.: Exception handling in the development of dependable component-based systems. In: Software Practice and Experience. John Wiley and Sons, Chichester (2005)"},{"key":"8_CR31","volume-title":"Applying Use Cases: A Practical Guide","author":"G. Schneider","year":"1998","unstructured":"Schneider, G., Winters, J.P.: Applying Use Cases: A Practical Guide, 1st edn. Addison-Wesley, Reading (1998)","edition":"1"},{"key":"8_CR32","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline, 1st edn. Prentice Hall, Englewood Cliffs (1996)","edition":"1"},{"issue":"9","key":"8_CR33","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/32.877846","volume":"26","author":"S. Sinha","year":"2000","unstructured":"Sinha, S., Harrold, M.J.: Analysis and testing of programs with exception handling constructs. IEEE Transactions on Software Engineering\u00a026(9), 849\u2013871 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR34","volume-title":"Software Engineering","author":"I. Sommerville","year":"1995","unstructured":"Sommerville, I.: Software Engineering, 6th edn. Addison-Wesley, Reading (1995)","edition":"6"},{"key":"8_CR35","first-page":"1","volume-title":"Foundations of Component-Based Systems, ch. 1","author":"C. Szyperski","year":"2000","unstructured":"Szyperski, C.: Component software and the way ahead. In: Gary, T. (ed.) Foundations of Component-Based Systems, ch. 1, pp. 1\u201320. Cambridge University Press, Cambridge (2000)"},{"key":"8_CR36","unstructured":"Tomita, R.T., Filho, F.C., Rubira, C.M.F.: Bellatrix: An environment to provide architectural support for component-based software development (in portuguese). In: IV Workshop of Component-Based Development, WDBC 2004 (September 2004)"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11572329_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T22:24:24Z","timestamp":1736029464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11572329_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540295723","9783540320920"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11572329_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}