{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T12:45:03Z","timestamp":1753274703671,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":87,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006244"},{"type":"electronic","value":"9783540364986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36498-6_1","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T18:28:14Z","timestamp":1181240894000},"page":"1-21","source":"Crossref","is-referenced-by-count":16,"title":["Software Testing Research and Practice"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1147\/rd.281.0002","volume":"28","author":"E. Adams","year":"1984","unstructured":"Adams, E.: Optimizing Preventive Service of Software Products. IBM J. of Research and Development 281 (1984) 2\u201314 4","journal-title":"IBM J. of Research and Development"},{"key":"1_CR2","unstructured":"Agedis: Automated Generation and Execution of Test Suites for DIstributed Component-based Software. < http:\/\/www.agedis.de\/index.shtml > 8"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bache, R., M\u00fcllerburg, M.: Measures of Testability as a Basis for Quality Assurance. Software Engineering Journal. 5 (March 1990) 86\u201392 14","DOI":"10.1049\/sej.1990.0011"},{"key":"1_CR4","unstructured":"Baresi, L., Young, M.: Test Oracles. Tech. Report CIS-TR-01-02. On line at < http:\/\/www.cs.uoregon.edu\/ michal\/pubs\/oracles.html > 11"},{"key":"1_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-45800-X_30","volume-title":"Proc. 5th Int. Conf. UML 2002","author":"F. Basanieri","year":"2002","unstructured":"Basanieri, F., Bertolino, A., Marchetti, E.: The Cow Suite Approach to Planning and Deriving Test Suites in UML Projects. Proc. 5th Int. Conf. UML 2002, Dresden, Germany. LNCS 2460 (2002) 383\u2013397 8"},{"issue":"12","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1109\/TSE.1987.232881","volume":"13","author":"V.R. Basili","year":"1987","unstructured":"Basili, V.R., Selby, R.W.: Comparing the Effectiveness of Software Testing Strategies. IEEE Trans. Software Eng. 13(12) (1987) 1278\u20131296 5, 6","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Bernot, G., Gaudel M.C., Marre, B.: Software Testing Based On Formal Specifications: a Theory and a Tool. Software Eng. Journal 6 (1991) 387\u2013405 8","journal-title":"Software Eng. Journal"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Bertolino, A.: ISSTA 2002 Panel: Is ISSTA Research Relevant to Industrial Users?. In [36] 201\u2013202 (see also following entries 203-209) 6","DOI":"10.1145\/566171.566205"},{"key":"1_CR9","unstructured":"Bertolino, A.: Knowledge Area Description of Software Testing. Guide to the SWEBOK, Joint IEEE-ACM Software Engineering Coordinating Committee. (2001) On-line at: < http:\/\/www.swebok.org > 2, 6"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Corradini, F, Inverardi, P., Muccini, H.: Deriving Test Plans from Architectural Descriptions. Proc. Int. ACM Conf. on Soft. Eng. (2000) 220\u2013229 14","DOI":"10.1145\/337180.337205"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Muccini, H.: An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. Proc. Int. Conf. on Soft. Eng. (2001) 211\u2013220 9, 14","DOI":"10.1109\/ICSE.2001.919095"},{"key":"1_CR12","unstructured":"Bertolino, A., Marr\u00e9, M.: A General Path Generation Algorithm for Coverage Testing. Proc. 10th Int. Soft. Quality Week, San Francisco, Ca. (1997) pap. 2T1 7"},{"key":"1_CR13","unstructured":"Bertolino, A., Polini, A.: Re-thinking the Development Process of Component-Based Software, ECBS 2002 Workshop on CBSE, Lund, Sweden (2002) 15"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Polini, A.: WCT: a Wrapper for Component Testing. Proc. Fidji\u20192002, Luxembourg (to appear) (2002) 16","DOI":"10.1007\/3-540-36520-6_15"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/32.485220","volume":"22","author":"A. Bertolino","year":"1996","unstructured":"Bertolino, A., Strigini, L.: On the Use of Testability Measures for Dependability Assessment IEEE Trans. Software Eng. 22(2) (1996) 97\u2013108 11, 14","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR16","unstructured":"Binder, R. V.: Testing Object-Oriented Systems-Models, Patterns, and Tools. Addison-Wesley (2000) 14, 15"},{"key":"1_CR17","unstructured":"Bochmann, G. V., Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. Proc. Int. Symp. on Soft. Testing and Analysis (ISSTA), Seattle (1994) 109\u2013124 8"},{"issue":"1","key":"1_CR18","first-page":"2","volume":"8","author":"E. B\u00f6rger","year":"2002","unstructured":"B\u00f6rger, E.: The Origins and the Development of the ASM Method for High Level System Design and Analysis. J. of Universal Computer Science 8(1) (2002) 2\u201374. On line at: < http:\/\/www.jucs.org\/jucs_8_1\/the_origins_and_the > 1, 2","journal-title":"J. of Universal Computer Science"},{"issue":"1","key":"1_CR19","doi-asserted-by":"crossref","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 1(1) (2002) 10\u201342 8","journal-title":"Software and Systems Modeling"},{"key":"1_CR20","unstructured":"Brinksma, E., Tretmans, J.: Testing Transition Systems: An Annotated Bibliography. Proc. of MOVEP\u20192k, Nantes (2000) 44\u201350 8"},{"issue":"6","key":"1_CR21","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/32.689403","volume":"24","author":"R.H. Carver","year":"1998","unstructured":"Carver, R.H., Tai, K.-C.: Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs. IEEE Trans. on Soft. Eng. 24(6) (1998) 471\u2013490 10","journal-title":"IEEE Trans. on Soft. Eng"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Choi, J-D., Zeller, A.: Isolating Failure-Inducing Thread Schedules. In [36] 210\u2013220 4","DOI":"10.1145\/566171.566211"},{"key":"1_CR23","unstructured":"Coward, P.D.: Symbolic Execution Systems-A Review. Software Eng. J. (1988) 229\u2013239 7"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0164-1212(85)90004-4","volume":"5","author":"L.A. Clarke","year":"1985","unstructured":"Clarke, L.A., Richardson, D. J.: Applications of Symbolic Evaluation. The J. of Systems and Software 5 (1985) 15\u201335 2","journal-title":"The J. of Systems and Software"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Crnkovic, I.: Component-based Software Engineering-New Challenges in Software Development. John Wiley&Sons (2001) 15","DOI":"10.1002\/swf.45"},{"issue":"9","key":"1_CR26","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A., Offutt, A. J.: Constraint-Based Test Data Generation. IEEE Trans. Software Eng. 17(9) (1991) 900\u2013910 8","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"Proc. FME\u201993","author":"J. Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating The Generation and Sequencing of Test Cases From Model-Based Specifications. Proc. FME\u201993, LNCS 670 (1993) 268\u2013284 8, 9"},{"key":"1_CR28","unstructured":"Dijkstra, E.W.: Notes on Structured Programming. T.H. Rep. 70-WSK03 (1970) On line at: < http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd02xx\/EWD249.PDF > 1, 3"},{"key":"1_CR29","unstructured":"Duesterwald, E., Gupta, R., Soffa, M. L.: Rigorous Data Flow Testing Through Output Influences. Proc. 2nd Irvine Software Symposium, Irvine, CA. (1992) 131\u2013145 7"},{"issue":"4","key":"1_CR30","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"SE-10","author":"J. W. Duran","year":"1984","unstructured":"Duran, J. W., Ntafos, S.C.: An Evaluation of Random Testing. IEEE Trans. Software Eng. SE-10(4) (1984) 438\u2013444 5","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Dunsmore, A., Roper, M., Wood, M.: Further Investigations into the Development and Evaluation of Reading Techniques for Object-Oriented Code Inspection. Proc. 24th Int. Conf. on Soft. Eng. Orlando, FL, USA (2002) 47\u201357 2","DOI":"10.1145\/581348.581349"},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1147\/sj.411.0111","volume":"41","author":"O. Edelstein","year":"2002","unstructured":"Edelstein, O., Farchi, E., Nir, Y., Ratsaby, G., Ur, S.: Multithreaded Java Program Test Generation. IBM Systems Journal 41 (2002) 111\u2013125 10","journal-title":"IBM Systems Journal"},{"issue":"3","key":"1_CR33","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1147\/sj.153.0182","volume":"15","author":"M.R. Fagan","year":"1976","unstructured":"Fagan, M.R.: Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal 15(3) (1976) 182\u2013211 2","journal-title":"IBM Systems Journal"},{"issue":"8","key":"1_CR34","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/32.879815","volume":"26","author":"N.E. Fenton","year":"2000","unstructured":"Fenton, N.E., Ohlsson, N.: Quantitative Analysis of Faults and Failures in a Complex Software System. IEEE Trans. Software Eng. 26(8) (2000) 797\u2013814 4","journal-title":"IEEE Trans. Software Eng"},{"issue":"1","key":"1_CR35","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1002\/stvr.234","volume":"12","author":"I. Forgacs","year":"2001","unstructured":"Forgacs, I., Bertolino, A.: Preventing Untestedness in Data-flow Based Testing. Soft. Testing, Verification and Reliability 12(1)(2001) 29\u201361 7","journal-title":"Soft. Testing, Verification and Reliability"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Frankl, P.G. (Ed.): Proc. ACM Sigsoft Int. Symposium on Soft. Testing and Analysis ISSTA 2002, Soft. Engineering Notes 27(4) Roma, Italy (July 2002) 17, 18, 19","DOI":"10.1145\/571681.571694"},{"issue":"8","key":"1_CR37","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1109\/32.707695","volume":"24","author":"P.G. Frankl","year":"1998","unstructured":"Frankl, P.G., Hamlet, R.G., Littlewood, B., Strigini, L.: Evaluating Testing Methods by Delivered Reliability. IEEE Trans. Software Eng. 24(8) (1998) 586\u2013601 4, 5","journal-title":"IEEE Trans. Software Eng"},{"issue":"6","key":"1_CR38","doi-asserted-by":"publisher","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 Trans. Software Engineering 17(6) (1991) 553\u2013564 14","journal-title":"IEEE Trans. Software Engineering"},{"key":"1_CR39","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns-Elements of Reusable Object-Oriented Software. Addison-Wesley (1994) 15"},{"key":"1_CR40","unstructured":"Gao, J.: Component Testability and Component Testing Challenges, Proc. ICSE Workshop on Component-Based Soft. Eng. (2000) http:\/\/www.sei.cmu.edu\/cbs\/cbse2000\/paper\/ 15"},{"key":"1_CR41","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-45588-4_11","volume-title":"Proc. ICCBSS2002","author":"J. Gao","year":"2002","unstructured":"Gao, J., Gupta, K., Gupta, S., Shim, S.: On Building Testable Software Components. Proc. ICCBSS2002, LNCS 2255 (2002) 108\u2013121 16"},{"issue":"11","key":"1_CR42","first-page":"1050","volume":"7","author":"A. Gargantini","year":"2001","unstructured":"Gargantini, A., Riccobene, E.: ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. of Universal Computer Science 7(11) (2001) 1050\u20131067. On line at: < http:\/\/www.jucs.org\/jucs_7_11\/asm_based_testing_coverage > 2","journal-title":"J. of Universal Computer Science"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating Finite State Machines from Abstract State Machines. In [36] 112\u2013122 2","DOI":"10.1145\/566171.566190"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Hamlet, D.: Continuity in Software Systems. In [36] 196\u2013200 1","DOI":"10.1145\/566171.566203"},{"issue":"12","key":"1_CR45","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1109\/32.62448","volume":"16","author":"D. Hamlet","year":"1990","unstructured":"Hamlet, D., Taylor, R.: Partition Testing Does Not Inspire Confidence. IEEE Trans. Software Eng. 16(12) (1990) 1402\u20131411 5, 12","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Harrold, M. J.: Testing: A Roadmap. In A. Finkelstein (Ed.), The Future of Software Engineering, ACM Press (2000) 63\u201372 17","DOI":"10.1145\/336512.336532"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Harrold, M. J., Soffa, M. L.: Selection of Data for Integration Testing.IEEE Software (March 1991) 58\u201365 14","DOI":"10.1109\/52.73750"},{"key":"1_CR48","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","volume":"7","author":"R. M. Hierons","year":"1997","unstructured":"Hierons, R. M.: Testing from a Z Specification. Soft. Testing, Verification and Reliability 7(1997) 19\u201333 8","journal-title":"Testing, Verification and Reliability"},{"key":"1_CR49","unstructured":"Hierons, R., Derrick, J. (Eds): Special Issue on Specification-based Testing. Soft. Testing, Verification and Reliability 10 (2000) 8"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Hiller, M., Jhumka, A., Suri, N.: PROPANE: An Environment for Examining the Propagation of Errors in Software. In [36] 81\u201385 4","DOI":"10.1145\/566171.566184"},{"issue":"4","key":"1_CR51","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TSE.1982.235571","volume":"8","author":"W.E. Howden","year":"1982","unstructured":"Howden, W.E.: Weak Mutation Testing and Completeness of Test Sets. IEEE Trans. Software Eng. 8(4) (1982) 371\u2013379 4","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR52","unstructured":"ISO\/IEC 9126, Information Technology-Software Product Evaluation-Quality Characteristics and Guidelines for Their Use. (1991) 13"},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Fernandez, J.-C., Jard, C., Jeron, T., Nedelka, L., Viho, C.: Using On-the-fly Verification Techniques for the Generation of Test Suites. Proc. of the 8th Int. Conf. on Computer Aided Verification (1996) 8","DOI":"10.1007\/3-540-61474-5_82"},{"issue":"8","key":"1_CR54","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B.: Automated Software Test Data Generation. IEEE Trans. Software Eng. 16(8) (1990) 870\u2013879 7","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Laprie, J.C.: Dependability-Its Attributes, Impairments and Means. In [66] 3\u201318 3","DOI":"10.1007\/978-3-642-79789-7_1"},{"key":"1_CR56","doi-asserted-by":"crossref","unstructured":"Latella, D., Massink, M.: On Testing and Conformance Relations for UML Statechart Diagrams Behaviours. In [36] 144\u2013153 8","DOI":"10.1145\/566171.566194"},{"issue":"12","key":"1_CR57","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1109\/32.888629","volume":"26","author":"B. Littlewood","year":"2000","unstructured":"Littlewood, B., Popov, P. T., Strigini, L., Shryane, N.: Modeling the Effects of Combining Diverse Software Fault Detection Techniques. IEEE Trans. Software Eng. 26(12) (2000) 1157\u20131167 5","journal-title":"IEEE Trans. Software Eng"},{"issue":"11","key":"1_CR58","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/163359.163373","volume":"36","author":"B. Littlewood","year":"1993","unstructured":"Littlewood, B., Strigini, L.: Validation of Ultra-High Dependability for Softwarebased Systems. Communications of the ACM. 36(11) (1993) 69\u201380 13","journal-title":"Communications of the ACM"},{"key":"1_CR59","unstructured":"Lyu, M.R. (Ed.): Handbook of Software Reliability Engineering. IEEE Comp. Soc. Press\/McGraw-Hill (1996) 8, 12"},{"issue":"8","key":"1_CR60","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1109\/32.57623","volume":"16","author":"L. J. Morell","year":"1990","unstructured":"Morell, L. J.: A Theory of Fault-based Testing. IEEE Trans. Software Eng. 16(8) (1990) 844\u2013857 4","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR61","doi-asserted-by":"crossref","unstructured":"Morris, J., Lee, G., Parker, K., Bundell, G. A., Lam, C. P.: Software Component Certification. IEEE Computer (September 2001) 30\u201336 16","DOI":"10.1109\/2.947086"},{"key":"1_CR62","unstructured":"Myers, G. J.: The Art of Software Testing. Wiley. (1979) 7, 8"},{"key":"1_CR63","series-title":"Lect Notes Comput Sci","first-page":"129","volume-title":"Proc. EDO2000","author":"A. Orso","year":"2000","unstructured":"Orso, A., Harrold, M. J., Rosenblum, D.: Component Metadata for Software Engineering Tasks. Proc. EDO2000, LNCS 1999 (2000) 129\u2013144 16"},{"issue":"6","key":"1_CR64","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T. J. Ostrand","year":"1988","unstructured":"Ostrand, T. J., Balcer, M. J.: The Category-Partition Method for Specifying and Generating Functional Tests. ACM Comm. 31(6) (1988) 676\u2013686 8","journal-title":"ACM Comm"},{"key":"1_CR65","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","volume":"9","author":"R. Pargas","year":"1999","unstructured":"Pargas, R., Harrold, M. J., Peck, R.: Test-Data Generation Using Genetic Algorithms. J. of Soft. Testing, Verifications, and Reliability 9 (1999) 263\u2013282 7","journal-title":"J. of Soft. Testing, Verifications, and Reliability"},{"key":"1_CR66","doi-asserted-by":"crossref","unstructured":"Randell, B., Laprie, J. C., Kopetz, H., Littlewood B., Eds.: Predictably Dependable Computing Systems, Springer (1995) 19, 20","DOI":"10.1007\/978-3-642-79789-7"},{"key":"1_CR67","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"SE-11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E. J.: Selecting Software Test Data Using Data Flow Information. IEEE Trans. Software Eng., SE-11 (1985) 367\u2013375 7","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR68","doi-asserted-by":"publisher","first-page":"1477","DOI":"10.1109\/TSE.1985.231892","volume":"SE-11","author":"D.J. Richardson","year":"1985","unstructured":"Richardson, D.J, Clarke, L.A.: Partition Analysis: A Method Combining Testing and Verification. IEEE Trans. Software Eng., SE-11 (1985) 1477\u20131490 5","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR69","doi-asserted-by":"crossref","unstructured":"Richardson, D., Thompson, M.C.: The Relay Model for Error Detection and its Application. Proc. 2nd Wksp Soft. Testing, Verification, and Analysis. Ban. Alberta, ACM\/Sigsoft and IEEE July 1988 223\u2013230 4","DOI":"10.1109\/WST.1988.5378"},{"issue":"8","key":"1_CR70","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/32.536955","volume":"22","author":"G. Rothermel","year":"1996","unstructured":"Rothermel, G., Harrold, M. J.: Analyzing Regression Test Selection Techniques. IEEE Trans. Software Eng., 22(8) (1996) 529\u2013551 15","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR71","unstructured":"Stafford, J. A., Wolf, A. L.: Annotating Components to Support Component-Based Static Analyses of Software Systems, Proc. Grace Hopper Celeb. of Women in Computing (2001) 16"},{"key":"1_CR72","unstructured":"TESTNET-Integration of Testing Methodologies. < http:\/\/http:\/\/www-lor.int-evry.fr\/testnet\/ > 13"},{"key":"1_CR73","unstructured":"TGV-Test Generation from transitions systems using Verification techniques. On line at < http:\/\/www.inrialpes.fr\/vasy\/cadp\/man\/tgv.html > 8"},{"key":"1_CR74","doi-asserted-by":"crossref","unstructured":"Thevenod-Fosse P., Waeselynck H., Crouzet Y.: Software Statistical Testing. In [66] 253\u2013272 5","DOI":"10.1007\/978-3-642-79789-7_15"},{"key":"1_CR75","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"Tretmans. J","year":"1996","unstructured":"J. Tretmans. Conformance Testing with Labeled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems 29 (1996) 49\u201379 8","journal-title":"Computer Networks and ISDN Systems"},{"key":"1_CR76","unstructured":"Vegas, S.: Characterisation Schema for Selecting Software Testing Techniques. Int. Software Engineering Research Network (ISERN\u201901) Strachclyde, Scotland (2001) 3, 6"},{"issue":"8","key":"1_CR77","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.153381","volume":"18","author":"J.M. Voas","year":"1992","unstructured":"Voas, J.M.: PIE: A Dynamic Failure-Based Technique. IEEE Trans. Software Eng. 18(8) (1992) 717\u2013727 4","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR78","doi-asserted-by":"crossref","unstructured":"Voas, J.M., Miller, K.W.: Software Testability: The New Verification. IEEE Software (May 1995) 17\u201328 14","DOI":"10.1109\/52.382180"},{"key":"1_CR79","doi-asserted-by":"crossref","unstructured":"Voas, J.: Certifying O.-the-Shelf Software Components. IEEE Computer (June 1998) 53\u201359 16","DOI":"10.1109\/2.683008"},{"key":"1_CR80","doi-asserted-by":"crossref","unstructured":"Voas, J.: Developing a Usage-Based Software Certification Process. IEEE Computer (August 2000) 32\u201337 16","DOI":"10.1109\/2.863965"},{"key":"1_CR81","unstructured":"Wang, Y., King, G., Wickburg, H.: A Method for Built-in Tests in Componentbased Software Maintenance, Proc. European Conference on Soft. Maintenance and Reengineering (1998) 186\u2013189 16"},{"issue":"4","key":"1_CR82","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1137\/0208047","volume":"8","author":"E. J. Weyuker","year":"1979","unstructured":"Weyuker, E. J.: Translatability and Decidability Questions for Restricted Classes of Program Schemas. SIAM J. on Computers 8(4) (1979) 587\u2013598 7","journal-title":"SIAM J. on Computers"},{"issue":"4","key":"1_CR83","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/comjnl\/25.4.465","volume":"25","author":"E. J. Weyuker","year":"1982","unstructured":"Weyuker, E. J.: On Testing Non-testable Programs. The Computer Journal 25(4) (1982) 465\u2013470 10","journal-title":"The Computer Journal"},{"issue":"7","key":"1_CR84","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E. J. Weyuker","year":"1991","unstructured":"Weyuker, E. J., Jeng, B.: Analyzing Partition Testing Strategies. IEEE Trans. Software Eng. 17(7) (1991) 703\u2013711 5","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR85","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1109\/TSE.1980.234485","volume":"SE-6","author":"E. J. Weyuker","year":"1980","unstructured":"Weyuker, E. J., Ostrand, T. J.: Theories of Program Testing and the Application of Revealing Subdomains. IEEE Trans. Software Eng. SE-6(1980) 236\u2013246 5","journal-title":"IEEE Trans. Software Eng"},{"key":"1_CR86","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/3-540-63531-9_19","volume-title":"Proc. ESEC\/FSE","author":"M. Wood","year":"1997","unstructured":"Wood, M., Roper, M., Brooks, A., Miller, J.: Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study. Proc. ESEC\/FSE, LNCS 1301 (1997) 262\u2013277 5"},{"key":"1_CR87","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 29 (1997) 366\u2013427 4","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36498-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:56:07Z","timestamp":1737078967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36498-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006244","9783540364986"],"references-count":87,"URL":"https:\/\/doi.org\/10.1007\/3-540-36498-6_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}