{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T06:33:32Z","timestamp":1772519612842,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":66,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642041327","type":"print"},{"value":"9783642041334","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04133-4_2","type":"book-chapter","created":{"date-parts":[[2009,8,21]],"date-time":"2009-08-21T05:30:28Z","timestamp":1250832628000},"page":"13-31","source":"Crossref","is-referenced-by-count":5,"title":["What Is a Test Case? Revisiting the Software Test Case Concept"],"prefix":"10.1007","author":[{"given":"Dani","family":"Almog","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsipi","family":"Heart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Tassey, G.: The Economic Impacts of Inadequate Infrastructure for Software Testing. National Institute of Standards and Technology (2002)"},{"key":"2_CR2","volume-title":"Proceedings of the 14th international conference on Software engineering","author":"V. Basili","year":"1992","unstructured":"Basili, V., Caldiera, G., McGarry, F., Pajerski, R., Page, G., Waligora, S.: The software engineering laboratory: an operational software experience factory. In: Proceedings of the 14th international conference on Software engineering. ACM, New York (1992)"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/CJECE.2004.1532522","volume":"29","author":"A.M. Geras","year":"2004","unstructured":"Geras, A.M., Smith, M.R., Miller, J.: A survey of software testing practices in alberta. Canadian Journal of Electrical and Computer Engineering\u00a029(3), 183\u2013191 (2004)","journal-title":"Canadian Journal of Electrical and Computer Engineering"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Grindal, M., Offutt, J., Mellin, J.: On the Testing Maturity of Software Producing Organizations. In: Proceedings of the Testing: Academic and Industrial Conference-Practice and Research Techniques TAIC PART (2006)","DOI":"10.1109\/TAIC-PART.2006.20"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Ng, S.P., Murnane, T., Reed, K., Grant, D., Chen, T.Y.: A Preliminary Survey on Software Testing Practices in Australia. In: Software Engineering Conference (2004)","DOI":"10.1109\/ASWEC.2004.1290464"},{"key":"2_CR6","unstructured":"Illes, T., Herrmann, A., Paech, B., Rockert, J.: Criteria for Software Testing Tool Evaluation. A Task Oriented View. In: Proceedings of the 3rd World Congress for Software Quality (2005)"},{"key":"2_CR7","unstructured":"Almog, D.: Verification Points for Better Testing Efficiency. In: StarEastSQE (2007)"},{"key":"2_CR8","unstructured":"Bach, J.: Exploratory Testing Explained, \n                    \n                      http:\/\/www.satisfice.com\/articles\/et-article.pdf"},{"key":"2_CR9","unstructured":"Kaner, C.: The Ongoing Revolution in Software Testing. In: Software Test & Performance Conference (2004)"},{"issue":"6","key":"2_CR10","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1145\/62959.62965","volume":"31","author":"D. Gelperin","year":"1988","unstructured":"Gelperin, D., Hetzel, B.: The Growth of Software Testing. Communications of the ACM\u00a031(6), 687\u2013695 (1988)","journal-title":"Communications of the ACM"},{"issue":"6","key":"2_CR11","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. Commun. ACM\u00a031(6), 676\u2013686 (1988)","journal-title":"Commun. ACM"},{"issue":"2","key":"2_CR12","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/32.44376","volume":"16","author":"E.J. Weyuker","year":"1990","unstructured":"Weyuker, E.J.: The Cost of Data Flow Testing: An Empirical Study. IEEE Transactions on Software Engineering\u00a016(2), 121\u2013128 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/152388.152391","volume":"2","author":"M.J. Harrold","year":"1993","unstructured":"Harrold, M.J., Rajiv, G., Mary Lou, S.: A Methodology for Controlling the Size of a Test Suite. ACM Trans. Softw. Eng. Methodol.\u00a02(3), 270\u2013285 (1993)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"2_CR14","unstructured":"Rosenberg, L., Hammer, T.F., Huffman, L.L.: Requirements, Testing and Metrics. In: 15th Annual Pacific Northwest Software Quality Conference (1998)"},{"key":"2_CR15","unstructured":"Iberle, K.: Divide and Conquer: Making Sense of Test Planning. In: The International Conference on Software Testing, Analysis and Review, STARWEST (1999)"},{"key":"2_CR16","volume-title":"International Symposium of Formal Methods","author":"B.K. Aichernig","year":"2001","unstructured":"Aichernig, B.K.: Test-Case Calculation through Abstraction. In: International Symposium of Formal Methods. Springer, Heidelberg (2001)"},{"key":"2_CR17","doi-asserted-by":"publisher","DOI":"10.1201\/b16592","volume-title":"Software Testing: A Craftsman\u2019s Approach","author":"P. Jorgensen","year":"2002","unstructured":"Jorgensen, P.: Software Testing: A Craftsman\u2019s Approach. CRC Press, Boca Raton (2002)"},{"key":"2_CR18","unstructured":"Kaner, C.: What Is a Good Test Case? In: Star East (2003)"},{"issue":"3","key":"2_CR19","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1002\/stvr.319","volume":"15","author":"M. Grindal","year":"2005","unstructured":"Grindal, M., Offutt, J., Andler, S.F.: Combination Testing Strategies: a Survey. Software Testing Verification and Reliability\u00a015(3), 167 (2005)","journal-title":"Software Testing Verification and Reliability"},{"issue":"4","key":"2_CR20","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/s10664-006-9024-2","volume":"11","author":"M. Grindal","year":"2006","unstructured":"Grindal, M., Lindstrom, B., Offutt, J., Andler, S.F.: An Evaluation of Combination Strategies for Test Case Selection. Empirical Software Engineering\u00a011(4), 583\u2013611 (2006)","journal-title":"Empirical Software Engineering"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-75294-3_13","volume-title":"Dependable Computing","author":"A. Ambrosio","year":"2007","unstructured":"Ambrosio, A., Mattiello-Francisco, F., Santiago, V., Silva, W., Martins, E.: Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. In: Bondavalli, A., Brasileiro, F., Rajsbaum, S. (eds.) LADC 2007. LNCS, vol.\u00a04746, pp. 170\u2013178. Springer, Heidelberg (2007)"},{"key":"2_CR22","unstructured":"Ambrosio, A.M., Martins, E., Vijaykumar, N.L., de Carvalho, S.V.: Systematic Generation of Test and Fault Cases for Space Application Validation. In: DASIA: Data Systems in Aerospace, European Space Agency (2005)"},{"key":"2_CR23","unstructured":"Desai, H.D.: Test Case Management System (TCMS). In: IEEE Conference Global Telecommunications GLOBECOM: \u2019Communications: The Global Bridge\u2019 (1994)"},{"key":"2_CR24","unstructured":"Craig, R.D., Jaskiel, S.P.: Systematic Software Testing. Artech House (2002)"},{"issue":"2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/638750.638781","volume":"28","author":"Jorgensen","year":"2003","unstructured":"Jorgensen: Testing with Hostile Data Streams. ACM Sigsoft Software Engineering Notes\u00a028(2), 1 (2003)","journal-title":"ACM Sigsoft Software Engineering Notes"},{"key":"2_CR26","unstructured":"Nagappan, N.: A Software Testing and Reliability Early Warning (STREW) Metric Suite, Thesis: Computer Science, North Carolina University (2005)"},{"key":"2_CR27","unstructured":"Sherriff, M., Boehm, B.W., Williams, L., Nagappan, N.: An Empirical Process for Building and Validating Software Engineering Parametric Models. North Carolina State Univeristy CSC-TR-2005-45, October, 19 (2005)"},{"key":"2_CR28","unstructured":"Hoffman, D.: The Darker Side of Metrics. In: Conference of the Association of Software Testing, CAST (2006)"},{"key":"2_CR29","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"R. Binder","year":"2000","unstructured":"Binder, R.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Professional, Reading (2000)"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Talby, D., Hazzan, O., Dubinsky, Y., Keren, A.: Agile Software Testing in a Large-Scale Project. IEEE Software, 30\u201337 (2006)","DOI":"10.1109\/MS.2006.93"},{"key":"2_CR31","volume-title":"Test-driven Development: By Example","author":"K. Beck","year":"2003","unstructured":"Beck, K.: Test-driven Development: By Example. Addison-Wesley Professional, Reading (2003)"},{"key":"2_CR32","unstructured":"Utting, M., Legeard, B., Pretschner, A.: A Taxonomy of Model-based Testing. Dept. of Computer Science, University of Waikato Hamilton, New Zealand (2006)"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Bohnet, R., Meszaros, G.: Test-Driven Porting. In: Proceedings of the Agile Development Conference (2005)","DOI":"10.1109\/ADC.2005.46"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Lewis, G.A., Morris, E., Simanta, S., Wrage, L.: Common Misconceptions about Service-Oriented Architecture. In: Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (2007)","DOI":"10.1109\/ICCBSS.2007.9"},{"key":"2_CR35","unstructured":"Hiebert, D., Klaedtke, R.A., Lowery, E., Nartovich, A., Raut, N., Sandberg, M.J.: Building SOA-based Solutions for IBM System i Platform. IBM (2007)"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Karam, M., Safa, H., Artail, H.: An Abstract Workflow-Based Framework for Testing Composed Web Services. In: IEEE\/ACS International Conference on Computer Systems and Applications, AICCSA (2007)","DOI":"10.1109\/AICCSA.2007.370739"},{"issue":"2","key":"2_CR37","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/stvr.357","volume":"17","author":"M.J. Rehman","year":"2007","unstructured":"Rehman, M.J., Jabeen, F., Bertolino, A., Polini, A.: Testing Software Components for Integration: A Survey of Issues and Techniques. Software Testing, Verification & Reliability\u00a017(2), 95\u2013133 (2007)","journal-title":"Software Testing, Verification & Reliability"},{"issue":"5","key":"2_CR38","doi-asserted-by":"publisher","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\u00a015(5), 54\u201359 (1998)","journal-title":"IEEE Software"},{"key":"2_CR39","unstructured":"Cai, K.Y., Zhao, L., Hu, H., Jiang, C.H.: On the Test Case Definition for GUI Testing. In: Fifth International Conference on Quality Software, QSIC (2005)"},{"issue":"9","key":"2_CR40","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1016\/S0950-5849(97)00017-7","volume":"39","author":"A.S. Boujarwah","year":"1997","unstructured":"Boujarwah, A.S., Saleh, K.: Compiler Test Case Generation Methods: A Survey and Assessment. Information and Software Technology\u00a039(9), 617\u2013625 (1997)","journal-title":"Information and Software Technology"},{"key":"2_CR41","unstructured":"Calam, J.R., Ioustinova, N., Pol, J.: Towards Automatic Generation of Parameterized Test Cases from Abstractions. Technical Report SEN-E0602, Centrum voor Wiskunde en Informatica (2006)"},{"key":"2_CR42","unstructured":"Byers, D., Engstrom, M., Kamkar, M.: The Design of a Test Case Definition Language. Automated and Algorithmic Debugging, 69\u201378 (1997)"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Nebut, C., Fleurey, F., Le Traon, Y., Jezequel, J.M.: Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering, 140\u2013155 (2006)","DOI":"10.1109\/TSE.2006.22"},{"key":"2_CR44","unstructured":"Prasanna, M., Sivanandam, S.N., Venkatesan, R., Sundarrajan, R.: A Survey on Automatic Test Case Generation. Academic Open Internet Journal\u00a015 (2005)"},{"key":"2_CR45","unstructured":"Coulter, A.C.: Graybox Software Testing Methodology: Embedded Software Testing Technique. In: Proceedings of the18th Digital Avionics Systems Conference (1999)"},{"key":"2_CR46","unstructured":"Craig, R.: Measurement and Metrics for Test Managers. In: STAR East. SQE (2007)"},{"key":"2_CR47","unstructured":"Kaner, C.: Measurement Issues and Software Testing (2001)"},{"key":"2_CR48","unstructured":"Landis, L., Waligora, S., McGarry, F.: Recommended Approach to Software Development. Software Engineering Laboratory Series, pp. 81\u2013305. NASA (1992)"},{"issue":"1","key":"2_CR49","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1147\/sj.411.0013","volume":"41","author":"K. Bassin","year":"2002","unstructured":"Bassin, K., Biyani, S., Santhanam, P.: Metrics to Evaluate Vendor-Developed Software Based on Test Case Execution Results. IBM Systems Journal\u00a041(1), 13\u201330 (2002)","journal-title":"IBM Systems Journal"},{"issue":"1","key":"2_CR50","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/TSE.2007.256943","volume":"33","author":"M. Jorgensen","year":"2007","unstructured":"Jorgensen, M., Shepperd, M.: A Systematic Review of Software Development Cost Estimation Studies. IEEE Transactions on Software Engineering\u00a033(1), 33\u201353 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"8","key":"2_CR51","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.624306","volume":"23","author":"D. Binkley","year":"1997","unstructured":"Binkley, D.: Semantics Guided Regression Test Cost Reduction. IEEE Transactions on Software Engineering\u00a023(8), 498\u2013516 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Leung, H.K.N., White, L.: Insights into Regression Testing [software testing]. In: Conference on Software Maintenance (1989)","DOI":"10.1109\/ICSM.1989.65194"},{"key":"2_CR53","unstructured":"Nageswaran, S.: Test Effort Estimation Using Use Case Points. In: 14th International Internet & Software Quality Week (2001)"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Aranha, E., Borba, P.: An Estimation Model for Test Execution Effort. In: International Symposium on Empirical Software Engineering and Measurement, ESEM 2007 (2007)","DOI":"10.1109\/ESEM.2007.73"},{"key":"2_CR55","unstructured":"Abran, A., Bourque, P., Dupuis, R., Moore, J.W.: Guide to the Software Engineering Body of Knowledge - SWEBOK. In: Alain, A., et al. (eds.). IEEE Press, Los Alamitos (2004)"},{"key":"2_CR56","volume-title":"Proceedings of the 15th International Conference on Software Engineering","author":"P.A. Stocks","year":"1993","unstructured":"Stocks, P.A., Carrington, D.A.: Test Templates: A Specification-Based Testing Framework. In: Proceedings of the 15th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"2_CR57","volume-title":"Black-Box Testing: Techniques for Functional Testing of Software and Systems","author":"B. Beizer","year":"1995","unstructured":"Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software and Systems. John Wiley & Sons, Inc., Chichester (1995)"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: Proc. Second International Conference on the Unified Modeling Language (1999)","DOI":"10.1007\/3-540-46852-8_30"},{"key":"2_CR59","unstructured":"Taylor, C.M.: EPDAV \u2013 A Model for Test Case Definition. In: Conference of the Association of Software Testing (2006)"},{"key":"2_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/11596141_8","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M. Bruno","year":"2005","unstructured":"Bruno, M., Canfora, G., Di Penta, M., Esposito, G., Mazza, V.: Using Test Cases as Contract to Ensure Service Compliance Across Releases. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 87\u2013100. Springer, Heidelberg (2005)"},{"key":"2_CR61","volume-title":"Testing Computer Software","author":"C. Kaner","year":"1999","unstructured":"Kaner, C., Falk, J.L., Nguyen, H.Q.: Testing Computer Software. John Wiley & Sons, Inc., New York (1999)"},{"key":"2_CR62","unstructured":"Maletic, J.I., Soliman, K.S., Moreno, M.A., Mercer, W.M.: Identification of Test Cases from Business Requirements of Software Systems. In: American Conference on Information Systems AMCIS (1999)"},{"key":"2_CR63","unstructured":"Baudry, B., Fleurey, F., Jezequel, J.M., Le Traon, Y.: Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment. In: Proceedings of the13th International Symposium on Software Reliability Engineering, ISSRE (2002)"},{"key":"2_CR64","volume-title":"CFD Best Practice Guidelines for CFD Code Validation for Reactor- Safety Applications","author":"F. Menter","year":"2002","unstructured":"Menter, F.: CFD Best Practice Guidelines for CFD Code Validation for Reactor- Safety Applications. CFX, Germany (2002)"},{"key":"2_CR65","unstructured":"Mikhailova, A., Doche, M., Butler, M.: Contracts for Scenario-Based Testing of Object-Oriented Programs (2002)"},{"key":"2_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/11596141_8","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M. Bruno","year":"2005","unstructured":"Bruno, M., Canfora, G., Di Penta, M., Esposito, G., Mazza, V.: Using Test Cases as Contract to Ensure Service Compliance Across Releases. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 87\u2013100. Springer, Heidelberg (2005)"}],"container-title":["Communications in Computer and Information Science","Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04133-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T08:27:18Z","timestamp":1552120038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04133-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041327","9783642041334"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04133-4_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}