{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:04:18Z","timestamp":1740287058279,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":98,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405030"},{"type":"electronic","value":"9783540450641"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45064-1_6","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:44:25Z","timestamp":1277235865000},"page":"99-127","source":"Crossref","is-referenced-by-count":10,"title":["Component-Based Software: An Overview of Testing"],"prefix":"10.1007","author":[{"given":"Auri Marcelo Rizzo","family":"Vincenzi","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Carlos","family":"Maldonado","sequence":"additional","affiliation":[]},{"given":"M\u00e1rcio Eduardo","family":"Delamaro","sequence":"additional","affiliation":[]},{"given":"Edmundo S\u00e9rgio","family":"Spoto","sequence":"additional","affiliation":[]},{"given":"W. Eric","family":"Wong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Harrold, M.J.: Testing: A roadmap. In: 22th International Conference on Software Engineering (2000)","DOI":"10.1145\/336512.336532"},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modelled by finite-state machines. IEEE Transactions on Software Engineering 4, 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231\u2013274 (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1109\/32.87281","volume":"17","author":"R.S. Freedman","year":"1991","unstructured":"Freedman, R.S.: Testability of software components. IEEE Transactions on Software Engineering 17, 553\u2013564 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR5","unstructured":"Szyperski, C.: Component Software Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"key":"6_CR6","volume-title":"Applying Enterprise JavaBeans: Component-Based Development for the J2EE Platform","author":"V. Matena","year":"2001","unstructured":"Matena, V., Stearns, B.: Applying Enterprise JavaBeans: Component-Based Development for the J2EE Platform, 2nd edn. Addison-Wesley, Reading (2001)","edition":"2"},{"key":"6_CR7","unstructured":"Microsoft: COM: Delivering on the promises of component technology. web page (2002), Available on-line at: http:\/\/www.microsoft.com\/com\/ (February 1, 2002)"},{"key":"6_CR8","unstructured":"Gimenes, I.M.S., Barroca, L., Huzita, E.H.M., Carnielo, A.: The process of component development by examples. In: VIII Regional Scholl of Informatics, Porto Alegre, RS, Brazil, pp. 1\u201332 (2000) (in Portuguese)"},{"key":"6_CR9","unstructured":"Werner, C.M., Braga, R.M.: Component-based development. Brazilian Symposium on Software Engineering 2000 (2000) (in Portuguese)"},{"key":"6_CR10","unstructured":"McDaniel, R., McGregor, J.D.: Testing polymorphic interactions between classes. Technical Report TR-94-103, Clemson University (1994)"},{"key":"6_CR11","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold Company, New York (1990)","edition":"2"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P., May, J.: Software unit test coverage and adequacy. ACM Computing Surveys 29, 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/52.714817","volume":"15","author":"E.J. Weyuker","year":"1998","unstructured":"Weyuker, E.J.: Testing component-based software: A cautionary tale. IEEE Software 15, 54\u201359 (1998)","journal-title":"IEEE Software"},{"key":"6_CR14","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools, vol.\u00a01. Addison Wesley Longman, Inc., Amsterdam (1999)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Linnenkugel, U., M\u00fcllerburg, M.: Test data selection criteria for (software) integration testing. In: First International Conference on Systems Integration, Morristown, NJ, pp. 709\u2013717 (1990)","DOI":"10.1109\/ICSI.1990.138737"},{"key":"6_CR16","volume-title":"Software Engineering - A Practitioner\u2019s Approach.","author":"R.S. Pressman","year":"2000","unstructured":"Pressman, R.S.: Software Engineering - A Practitioner\u2019s Approach., 5th edn. McGraw-Hill, New York (2000)","edition":"5"},{"key":"6_CR17","unstructured":"IEEE: IEEE standard glossary of software engineering terminology. Standard 610.12-1990 (R2002). IEEE Computer Society Press (2002)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1145\/193173.195402","volume-title":"Second ACM SIGSOFT Symposium on Foundations of Software Engineering","author":"M.J. Harrold","year":"1994","unstructured":"Harrold, M.J., Rothermel, G.: Performing data flow testing on classes. In: Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New York, pp. 154\u2013163. ACM Press, New York (1994)"},{"key":"6_CR19","first-page":"13","volume":"2","author":"D.E. Perry","year":"1990","unstructured":"Perry, D.E., Kaiser, G.E.: Adequate testing and object-oriented programming. Journal on Object-Oriented Programming 2, 13\u201319 (1990)","journal-title":"Journal on Object-Oriented Programming"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Arnold, T.R., Fuson, W.A. In: a perfect world. Communications of the ACM 37, 78\u201386 (1994)","DOI":"10.1145\/182987.184076"},{"key":"6_CR21","unstructured":"Howden, W.E.: Software Engineering and Technology: Functional Program Testing and Analysis. McGrall-Hill Book Co., New York (1987)"},{"key":"6_CR22","unstructured":"Offutt, A.J., Irvine, A.: Testing object-oriented software using the category-partition method. In: 17th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, pp. 293\u2013304 (1995)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Thevenod-Fosse, P., Waeselynck, H.: STATEMATE applied to statistical software testing. In: International Symposium on Software Testing and Analysis, Cambridge, MA, pp. 99\u2013109. ACM Press, New York (1993)","DOI":"10.1145\/154183.154262"},{"key":"6_CR24","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J.A. Whittaker","year":"1994","unstructured":"Whittaker, J.A., Thomason, M.: A markov chain model for statistical software testing. IEEE Transactions on Software Engineering 20, 812\u2013824 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR25","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1023\/A:1018975029705","volume":"4","author":"J.A. Whittaker","year":"1997","unstructured":"Whittaker, J.A.: Stochastic software testing. Annals of Software Engineering 4, 115\u2013131 (1997)","journal-title":"Annals of Software Engineering"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Banks, D., Dashiell, W., Gallagher, L., Hagwood, C., Kacker, R., Rosenthal, L.: Software testing by statistical methods. Technical Report NISTIR 6129, NIST - National Institute of Standards and Technology (1998)","DOI":"10.6028\/NIST.IR.6129"},{"key":"6_CR27","unstructured":"Hoffman, D., Strooper, P.: A case study in class testing. In: CASCON 1993, pp.472-482. IBM Toronto Laboratory (1993)"},{"key":"6_CR28","first-page":"302","volume-title":"Conference on Software Maintenance, Montreal Quebec, Canada","author":"C.D. Turner","year":"1993","unstructured":"Turner, C.D., Robson, D.J.: The state-based testing of object-oriented programs. In: Conference on Software Maintenance, Montreal Quebec, Canada, pp. 302\u2013310. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"6_CR29","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0164-1212(95)00047-X","volume":"32","author":"D. Kung","year":"1996","unstructured":"Kung, D., Gao, J., Hsia, P., Toyoshima, Y., Chen, C.: On regression testing of object-oriented programs. The Journal of Systems and Software 32, 21\u201340 (1996)","journal-title":"The Journal of Systems and Software"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"McGregor, J.D., Korson, T.D.: Integrated object-oriented testing and development process. Communications of the ACM 37, 59\u201377 (1994)","DOI":"10.1145\/182987.184075"},{"key":"6_CR31","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1002\/(SICI)1097-024X(199705)27:5<573::AID-SPE98>3.0.CO;2-3","volume":"27","author":"D. Hoffman","year":"1997","unstructured":"Hoffman, D., Strooper, P.: Classbrench: A framework for automated class testing. Software Practice and Experience 27, 573\u2013597 (1997)","journal-title":"Software Practice and Experience"},{"key":"6_CR32","unstructured":"Frankl, F.G.: The Use of Data Flow Information for the Selection and Evaluation of Software Test Data. PhD thesis, Universidade de New York, New York, NY (1987)"},{"key":"6_CR33","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/32.6165","volume":"14","author":"S.C. Ntafos","year":"1988","unstructured":"Ntafos, S.C.: A comparison of some structural testing strategies. IEEE Transactions on Software Engineering 14, 868\u2013873 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR34","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting software test data using data flow information. IEEE Transactions on Software Engineering 11, 367\u2013375 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR35","unstructured":"Ostrand, T.J., Weyuker, E.J.: Using data flow analysis for regression testing. In: Sixth Annual Pacific Northwest Software Quality Conference, Portland \u2013 Oregon (1988)"},{"key":"6_CR36","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/52.43047","volume":"7","author":"J. Hartmann","year":"1990","unstructured":"Hartmann, J., Robson, D.J.: Techniques for selective revalidation. IEEE Software 7, 31\u201336 (1990)","journal-title":"IEEE Software"},{"key":"6_CR37","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.4370040103","volume":"4","author":"A. Veevers","year":"1994","unstructured":"Veevers, A., Marshall, A.: A relationship between software coverage metrics and reliability. Software Testing, Verification and Reliability 4, 3\u20138 (1994)","journal-title":"Software Testing, Verification and Reliability"},{"key":"6_CR38","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/52.382175","volume":"12","author":"G.S. Varadan","year":"1995","unstructured":"Varadan, G.S.: Trends in reliability and test strategies. IEEE Software 12, 10 (1995)","journal-title":"IEEE Software"},{"key":"6_CR39","unstructured":"Chaim, M.L.: Program Debugging Based on Structural Testing Information. Doctoral dissertation, Scholl of Computer Science and Electrical Engineering, UNI-CAMP, Campinas, SP, Brazil (2001) (in Portuguese)"},{"key":"6_CR40","unstructured":"Myers, G.J.: The Art of Software Testing. Wiley, New York (1979)"},{"key":"6_CR41","first-page":"92","volume":"8","author":"P.M. Herman","year":"1976","unstructured":"Herman, P.M.: A data flow analysis approach to program testing. Australian Computer Journal 8, 92\u201396 (1976)","journal-title":"Australian Computer Journal"},{"key":"6_CR42","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/TSE.1983.236871","volume":"9","author":"J.W. Laski","year":"1983","unstructured":"Laski, J.W., Korel, B.: A data flow oriented program testing strategy. IEEE Transactions on Software Engineering 9, 347\u2013354 (1983)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR43","unstructured":"Rapps, S., Weyuker, E.J.: Data flow analysis techniques for program test data selection. In: 6th International Conference on Software Engineering, Tokio, Japan, pp. 272\u2013278 (1982)"},{"key":"6_CR44","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1109\/TSE.1984.5010308","volume":"10","author":"S.C. Ntafos","year":"1984","unstructured":"Ntafos, S.C.: On required element testing. IEEE Transactions on Software Engineering 10, 795\u2013803 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR45","unstructured":"Maldonado, J.C.: Potential-Uses Criteria: A Contribution to the Structural Testing of Software. Doctoral dissertation, DCA\/FEE\/UNICAMP, Campinas, SP, Brazil (1991) (in Portuguese)"},{"key":"6_CR46","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Soffa, M.L.: Interprocedural data flow testing. In: Third Testing, Analysis, and Verification Symposium, pp. 158-167 (1989)","DOI":"10.1145\/75309.75327"},{"key":"6_CR47","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/52.73750","volume":"8","author":"M.J. Harrold","year":"1991","unstructured":"Harrold, M.J., Soffa, M.L.: Selecting and using data for integration test. IEEE Software 8, 58\u201365 (1991)","journal-title":"IEEE Software"},{"key":"6_CR48","unstructured":"Vilela, P.R.S.: Integration Potencial-Uses Criteria: Definition and Analysis. Doctoral dissertation, DCA\/FEEC\/UNICAMP, Campinas, SP, Brazil (1998) (in Portuguese)"},{"key":"6_CR49","doi-asserted-by":"crossref","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. IEEE Computer 11, 34\u201343 (1978)","journal-title":"IEEE Computer"},{"key":"6_CR50","volume-title":"Computer Program Testing. In: Mutation Analysis: Ideas, Example, Problems and Prospects","author":"T.A. Budd","year":"1981","unstructured":"Budd, T.A.: Computer Program Testing. In: Mutation Analysis: Ideas, Example, Problems and Prospects. North-Holland Publishing Company, Amsterdam (1981)"},{"key":"6_CR51","volume-title":"Logical Design of Digital Systems","author":"A.D. Friedman","year":"1975","unstructured":"Friedman, A.D.: Logical Design of Digital Systems. Computer Science Press, Rockville (1975)"},{"key":"6_CR52","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1109\/32.910859","volume":"27","author":"M.E. Delamaro","year":"2001","unstructured":"Delamaro, M.E., Maldonado, J.C., Mathur, A.P.: Interface mutation: An approach for integration testing. IEEE Transactions on Software Engineering 27, 228\u2013247 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR53","doi-asserted-by":"crossref","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E.: Mutation analysis applied to validate specifications based on petrinets. In: FORTE 1995 - 8th IFIP Conference on Formal Descriptions Techniques for Distribute Systems and Communication Protocols, Montreal, Canada, pp. 329\u2013337 (1995)","DOI":"10.1007\/978-0-387-34945-9_24"},{"key":"6_CR54","unstructured":"Sim\u00e3o, A.S., Maldonado, J.C.: Mutation based test sequence generation for Petri nets. In: III Workshop of Formal Methods, Jo\u00e3o Pessoa (2000)"},{"key":"6_CR55","unstructured":"Fabbri, S.C.P.F.: The Mutation Analysis in the Context of Reactive Systems: a Constribution on the Establishment of Validation and Testing Strategies. Doctoral dissertation, IFSC-USP, S\u00e3o Carlos, SP, Brazil (1996) (in Portuguese)"},{"key":"6_CR56","unstructured":"Sugeta, T.: Proteum-rs\/st: A tool to support the validation of statecharts based on mutation analysis. Master\u2019s thesis, ICMC-USP, S\u00e3o Carlos, SP, Brazil (1999) (in Portuguese)"},{"key":"6_CR57","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E.: Mutation analysis based on finite state machines. In: XI Brazilian Symposium on Computer Networks, Campinas, SP, Brazil, pp. 407\u2013425 (1993) (in Portuguese)"},{"key":"6_CR58","unstructured":"Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E.: Mutation analysis testing for finite state machines. In: 5th International Symposium on Software Reliability Engineering (ISSRE 1994), Monterey, CA, pp. 220\u2013229 (1944)"},{"key":"6_CR59","unstructured":"Probert, R.L., Guo, F.: Mutation testing of protocols: Principles and preliminary experimental results. In: IFIP TC6 - Third International Workshop on Protocol Test Systems, North-Holland, pp. 57\u201376 (1991)"},{"key":"6_CR60","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1008978021407","volume":"8","author":"S.R.S. Souza","year":"1999","unstructured":"Souza, S.R.S., Maldonado, J.C., Fabbri, S.C.P.F., Lopes de Souza, W.: Mutation testing applied to estelle specifications. Software Quality Journal 8, 285\u2013301 (1999)","journal-title":"Software Quality Journal"},{"key":"6_CR61","unstructured":"Kim, S., Clark, J.A., Mcdermid, J.A.: The rigorous generation of Java mutation operators using HAZOP. In: 12th International Conference on Software & Systems Engineering and their Applications (ICSSEA 1999) (1999)"},{"key":"6_CR62","unstructured":"Ma, Y.S., Kwon, Y.R., Offutt, J.: Inter-class mutation operators for Java. In: 13th International Symposium on Software Reliability Engineering - ISSRE 2002, Annapolis, MD (2002)"},{"key":"#cr-split#-6_CR63.1","doi-asserted-by":"crossref","unstructured":"Ghosh, S., Mathur, A.P.: Interface mutation. Software Testing, Verification and Reliability 11, 227???247 (2001);","DOI":"10.1002\/stvr.239"},{"key":"#cr-split#-6_CR63.2","unstructured":"Eric Wong, W. (ed.) Special Issue: Mutation 2000 - A Symposium on Mutation Testing"},{"key":"6_CR64","doi-asserted-by":"crossref","unstructured":"Sridhanan, B., Mundkur, S., Mathur, A.P.: Non-intrusive testing, monitoring and control of distributed corba objects. In: TOOLS 33 - 33rd International Conference on Technology of Object-Oriented Languages, Mont-saint-Michel, France, pp. 195\u2013206 (2000)","DOI":"10.1109\/TOOLS.2000.848762"},{"key":"6_CR65","doi-asserted-by":"crossref","unstructured":"Delamaro, M.E., Pezz\u00e8, M., Vincenzi, A.M.R., Maldonado, J.C.: Mutant operators for testing concurrent Java programs. In: Brazilian Symposium on Software Engineering 2001, Rio de Janeiro, RJ, Brazil, pp. 272\u2013285 (2001)","DOI":"10.5753\/sbes.2001.23994"},{"key":"6_CR66","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","volume":"19","author":"G. G\u00f6nen\u00e7","year":"1970","unstructured":"G\u00f6nen\u00e7, G.: A method for design of fault-detection experiments. IEEE Transactions on Computers 19, 551\u2013558 (1970)","journal-title":"IEEE Transactions on Computers"},{"key":"6_CR67","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"15","author":"K.K. Sabnani","year":"1988","unstructured":"Sabnani, K.K., Dahbura, A.: Protocol test generation procedure. Computer Networks and ISDN Systems 15, 285\u2013297 (1988)","journal-title":"Computer Networks and ISDN Systems"},{"key":"6_CR68","doi-asserted-by":"crossref","unstructured":"Fujiwara, S., Bochmann, G.V., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering 17 (1991)","DOI":"10.1109\/32.87284"},{"key":"6_CR69","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1109\/AICCSA.2001.934006","volume-title":"AICCSA ACS\/IEEE International Conference on Computer Systems and Applications, Beirut, Libanon","author":"S. Beydeda","year":"2001","unstructured":"Beydeda, S., Gruhn, V.: An integrated testing technique for component-based software. In: AICCSA ACS\/IEEE International Conference on Computer Systems and Applications, Beirut, Libanon, pp. 328\u2013334. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"6_CR70","unstructured":"Harrold, M.J., Liang, D., Sinha, S.: An approach to analyzing and testing component-based systems. In: First International ICSE Workshop on Testing Distributed Component-Based Systems, Los Angeles, CA (1999)"},{"key":"6_CR71","unstructured":"Rosenblum, D.S.: Adequate testing of component-based software. Technical Report UCI-ICS-97-34, University of California, Irvine, CA (1997)"},{"key":"6_CR72","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0020-0190(88)90162-7","volume":"28","author":"H. Ural","year":"1988","unstructured":"Ural, H., Yang, B.: A structural test selection criterion. Information Processing Letters 28, 157\u2013163 (1988)","journal-title":"Information Processing Letters"},{"key":"6_CR73","unstructured":"Martins, E., Toyota, C.M.: Construction of autotestable classes. In: VIII Symposion of Fault Tolerance Computation, Campinas, SP, pp. 196\u2013209 (1999) (in Portuguese)"},{"key":"6_CR74","unstructured":"Rosa, A.C.A., Martins, E.: Using a reflexive architecture to validate object-oriented applications by fault injection. In: Workshop on Reflexive Programming in C++ and Java, Vancouver, Canada, pp. 76\u201380 (1998)"},{"key":"6_CR75","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1109\/ICSM.2001.972790","volume-title":"IEEE International Conference on Software Maintenance (ICSM 2001)","author":"A. Orso","year":"2001","unstructured":"Orso, A., Harrold, M.J., Rosenblum, D., Rothermel, G., Do, H., Soffa, M.L.: Using component metacontent to support the regression testing of component-based software. In: IEEE International Conference on Software Maintenance (ICSM 2001), Florence, Italy, pp. 716\u2013725. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"6_CR76","unstructured":"Edwards, S.H.: Toward reflective metadata wrappers for formally specified software components. In: OOPSLA 2001 Workshop on Specification and Verification of Component-Based Systems. ACM Press, New York (2001)"},{"key":"6_CR77","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., McGregor, J.D., Fitzpatrick, K.J.: Incremental testing of object-oriented class structures. In: 14th International Conference on Software Engineering, Los Alamitos, CA, pp. 68\u201380. IEEE Computer Society Press, Los Alamitos (1992)","DOI":"10.1145\/143062.143093"},{"key":"6_CR78","unstructured":"Gao, J.: Tracking component-based software. Technical report, San Jose State University (San Jose, CA)"},{"key":"6_CR79","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.683008","volume":"31","author":"M Voas","year":"1998","unstructured":"Voas, M, Gao, J.: Certifying off-the shelf-components. IEEE Computer 31, 53\u201359 (1998)","journal-title":"IEEE Computer"},{"key":"6_CR80","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1109\/2.544244","volume":"29","author":"R.V. Binder","year":"1996","unstructured":"Binder, R.V.: Modal testing strategies for OO software. Computer 29, 97\u201399 (1996)","journal-title":"Computer"},{"key":"6_CR81","unstructured":"Binder, R.V.: The free approach to testing object-oriented software: An overview. Pgina WWW (1996), Available on-line at, http:\/\/www.rbsc.com\/pages\/FREE.html [01-20-2003]"},{"key":"6_CR82","unstructured":"Kim, S., Clark, J.A., Mcdermid, J.A.: Class mutation: Mutation testing for object-oriented programs. In: FMES (2000)"},{"key":"6_CR83","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/stvr.224","volume":"11","author":"S.H. Edwards","year":"2001","unstructured":"Edwards, S.H.: A framework for practical, automated black-box testing of component-based software. Software Testing, Verification and Reliability 11, 97\u2013111 (2001)","journal-title":"Software Testing, Verification and Reliability"},{"key":"6_CR84","first-page":"186","volume-title":"Third European Conference on Software Maintenance and Reengineering, Amsterdam, Netherlands","author":"Y. Wang","year":"1999","unstructured":"Wang, Y., King, G., Wickburg, H.: A method for built-in tests in component-based software maintenance. In: Third European Conference on Software Maintenance and Reengineering, Amsterdam, Netherlands, pp. 186\u2013189. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"6_CR85","first-page":"4","volume-title":"OOPSLA 2001 Workshop on Specification and Verification of Component-Based Systems, Tampa, Florida","author":"N. Soundarajan","year":"2001","unstructured":"Soundarajan, N., Tyler, B.: Testing components. In: OOPSLA 2001 Workshop on Specification and Verification of Component-Based Systems, Tampa, Florida, pp. 4\u20139. ACM Press, New York (2001)"},{"key":"6_CR86","unstructured":"Rosa, A.C.A., Martins, E.: Using a reflexive architecture to validate object-oriented applications by fault injection. In: Workshop on Reflexive Programming in C++ and Java, Vancouver, Canada, pp. 76\u201380 (1998), Available on-line at http:\/\/www.dc.unicamp.br\/~eliane"},{"key":"6_CR87","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1002\/1099-1689(200012)10:4<249::AID-STVR215>3.0.CO;2-C","volume":"10","author":"S.H. Edwards","year":"2000","unstructured":"Edwards, S.H.: Black-box testing using flowgraphs: An experimental assessment of effectiveness and automation potential. Software Testing, Verification and Reliability 10, 249\u2013262 (2000)","journal-title":"Software Testing, Verification and Reliability"},{"key":"6_CR88","first-page":"486","volume-title":"24th IEEE Annual International Computer Software and Applications Conference (COMPSAC 2000)","author":"J. Zhao","year":"2000","unstructured":"Zhao, J.: Dependence analysis of java bytecode. In: 24th IEEE Annual International Computer Software and Applications Conference (COMPSAC 2000), Taipei, Taiwan, pp. 486\u2013491. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"6_CR89","unstructured":"Zhao, J., Xiang, L., Nishimi, K., Harada, T.: Understanding java bytecode using kafer. In: 20th IASTED International Conference on Applied Informatics (AI 2002), Innsbruck, Austria. ACTA Press (2002)"},{"key":"6_CR90","doi-asserted-by":"crossref","unstructured":"Vincenzi, A.M.R., Delamato, M.E., Maldonado, J.C., Wong, W.E., Sim\u00e3o, A.S.: Jab\u00e1-aJavabytecode analyzer. In: XVI Brazilian Symposium on Software Engineering, Gramado, RS, Brazil, pp. 414-419 (2002)","DOI":"10.5753\/sbes.2002.23968"},{"key":"6_CR91","unstructured":"McGregor, J.D.: Parallel architecture for component testing. Journal of Object-Oriented Programming 10, 10\u201314 (1997), Available on-line at http:\/\/www.cs.clemson.edu\/~nmc\/columns.html [01-06-2003]"},{"key":"6_CR92","unstructured":"Bhor, A.: Component testing strategies. Technical Report UCI-ICS-02-06, Dept. of Information and Computer Science - University of California, Irvine - California (2001), Available on-line at http:\/\/www.ics.uci.edu\/~abhor\/ [01-06-2003]"},{"key":"6_CR93","doi-asserted-by":"crossref","unstructured":"Bundell, G.A., Lee, G., Morris, J., Parker, K., Lam, P.: A software component verification tool. In: International Conference on Software Methods and Tools (SMT 2000), Wollongong, Australia (2000)","DOI":"10.1109\/SWMT.2000.890429"},{"key":"6_CR94","unstructured":"Corporation, P.: Using design by contract to automate java software and component testing. web page (2002), Avaliable on-line http:\/\/www.parasoft.com\/ [01-20-2003]"},{"key":"6_CR95","unstructured":"Beck, K., Gamma, E.: JUnit cookbook. web page (2002), Avaliable on-line: http:\/\/www.junit.org\/ [01-20-2003]"},{"key":"6_CR96","unstructured":"Edge, T.: Glass JAR toolkit. web page, Available on-line, at (2002), http:\/\/www.testersedge.com\/gjtk\/ [01-20-2003]"},{"key":"6_CR97","doi-asserted-by":"crossref","unstructured":"Agrawal, H.: Dominators, super blocks, and program coverage. In: Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1994), Portland, OR, pp. 25\u201334 (1994)","DOI":"10.1145\/174675.175935"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Quality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45064-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T04:53:09Z","timestamp":1740199989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45064-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405030","9783540450641"],"references-count":98,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45064-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}