{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T04:26:29Z","timestamp":1743827189858,"version":"3.40.3"},"reference-count":73,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780123965356"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-12-396535-6.00001-6","type":"book-chapter","created":{"date-parts":[[2012,7,20]],"date-time":"2012-07-20T14:44:22Z","timestamp":1342795462000},"page":"1-39","source":"Crossref","is-referenced-by-count":5,"title":["Model-Based Testing: Achievements and Future Challenges"],"prefix":"10.1016","author":[{"given":"Michael","family":"Mlynarski","sequence":"first","affiliation":[]},{"given":"Baris","family":"G\u00fcldali","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Wei\u00dfleder","sequence":"additional","affiliation":[]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"unstructured":"M. Averstegge, M. Winter, Structural and functional predicate coverage testing, in: Proceedings of the 3rd World Congress for Software Quality (WCSQ) 2005, 2005, pp. 1\u201312.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0005"},{"year":"2008","author":"Baker","series-title":"Model-Driven Testing: Using the UML Testing Profile","key":"10.1016\/B978-0-12-396535-6.00001-6_b0010"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0015","series-title":"The Goal Question Metric Approach","article-title":"Encyclopedia of Software Engineering","author":"Basili","year":"1994"},{"unstructured":"F. Belli, C.J. Budnik, A. Hollmann, A holistic approach to testing of interactive systems using statecharts, in: Proceedings of the 2nd South-East European Workshop on Formal Methods (SEEFM05), 2005, pp. 59\u201373.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0020"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0025","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.335","article-title":"Event-based modelling, analysis and testing of user interactions: approach and case study","volume":"16","author":"Belli","year":"2006","journal-title":"Software Testing, Verification and Reliability"},{"year":"1999","author":"Binder","series-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","key":"10.1016\/B978-0-12-396535-6.00001-6_b0030"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0035","series-title":"A-MOST\u201907: Proceedings of the 3rd International Workshop on Advances in Model-Based Testing","first-page":"95","article-title":"A subset of precise UML for model-based testing","author":"Bouquet","year":"2007"},{"unstructured":"L.C. Briand, Y. Labiche, A UML-Based Approach to System Testing, Technical Report TR SCE-01-01, Carleton University, 2002.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0040"},{"doi-asserted-by":"crossref","unstructured":"S.K. Chandrasekhar Boyapati, D. Marinov, Korat: automated testing based on Java predicates, in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA) 2002, 2002, pp. 123\u2013133.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0045","DOI":"10.1145\/566172.566191"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0050","series-title":"Software Testing Process Automation Based on UTP \u2013 A Case Study","article-title":"Unifying the Software Process Spectrum","author":"Chen","year":"2005"},{"unstructured":"I. Ciupa, A. Leitner, Automatic testing based on design by contract, in: Proceedings of Net.ObjectDays 2005 (6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World), 2005, pp. 545\u2013557.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0055"},{"doi-asserted-by":"crossref","unstructured":"P. Collet, D. Deveaux, R. Rousseau, Contract-based testing: from objects to components, in: Proceedings of the First International Workshop on Testability Assessment, IWoTA 2004, 2004, pp. 5\u201314.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0060","DOI":"10.1109\/IWOTA.2004.1428408"},{"unstructured":"Z.R. Dai, Model-driven testing with UML 2.0, in: 2nd European Workshop on Model Driven Architecture with an Emphasis on Methodologies and Transformations, 2004.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0065"},{"unstructured":"Z.R. Dai, An Approach to Model-Driven Testing \u2013 Functional and Real-Time Testing with UML 2.0, U2TP and TTCN-3, Ph.D. Thesis, Fraunhofer FOKUS, 2006.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0070"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0075","series-title":"Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004), Oxford, United Kingdom, March 2004","article-title":"From design to test with UML \u2013 Applied to a roaming algorithm for bluetooth devices","volume":"vol. 2978","author":"Dai","year":"2004"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0080","series-title":"ISMSE\u201904: Proceedings of the IEEE Sixth International Symposium on Multimedia Software Engineering","first-page":"278","article-title":"Model-based testing and maintenance","author":"Deng","year":"2004"},{"unstructured":"C. Denger, M. Mora, Test case derived from Requirement Specification, Technical Report 033.03\/E, Fraunhofer IESE, 2003.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0085"},{"doi-asserted-by":"crossref","unstructured":"A. Dias Neto, R. Subramanyan, M. Vieira, G. Tracassos, A Survey on Model-based Testing Approaches: A Systematic Review, Technical Report PESC\/COPPE\/UFRJ, Siemens Corporate Research, 2007.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0090","DOI":"10.1145\/1353673.1353681"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0095","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MS.2008.64","article-title":"Improving evidence about software technologies: a look at model-based testing","volume":"25","author":"Dias Neto","year":"2008","journal-title":"IEEE Software"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0100","doi-asserted-by":"crossref","first-page":"1487","DOI":"10.1016\/j.infsof.2009.06.010","article-title":"Model-based testing approaches selection for software projects","volume":"51","author":"Dias Neto","year":"2009","journal-title":"Information and Software Technology"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0105","series-title":"MoDeVVa: Model Development, Validation and Verification","first-page":"182","article-title":"Towards model-driven unit testing","author":"Engels","year":"2006"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0110","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","article-title":"Toward a theory of test data selection","volume":"2","author":"Goodenough","year":"1975","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0115","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/stvr.427","article-title":"Model-based quality assurance of protocol documentation: tools and methodology","volume":"21","author":"Grieskamp","year":"2011","journal-title":"Software Testing, Verification and Reliability"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0120","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.entcs.2004.12.001","article-title":"Model-based built-in tests","volume":"111","author":"Gross","year":"2005","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0125","first-page":"63","article-title":"Starthilfe f\u00fcr modellbasiertes Testen","volume":"3","author":"G\u00fcldali","year":"2010","journal-title":"OBJEKTspektrum"},{"unstructured":"B. G\u00fcldali, M. Mlynarski, Agility vs. model-based testing: a fair play? in: Bode, S.E.A. (Ed.), Proceedings of the IWK2010 Workshops: The First International Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010), 2010, pp. 55\u201358.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0130"},{"doi-asserted-by":"crossref","unstructured":"B. G\u00fcldali, M. Mlynarski, Y. Sancar, Effort comparison of model-based testing scenarios, in: Proceedings of 1st International Workshop on Quality of Model-Based Testing (QuoMBaT 2010), Paris, France, 2010, pp. 28\u201336.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0135","DOI":"10.1109\/ICSTW.2010.15"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0140","series-title":"Proceedings of Euromicro SEAA Conference 2009, Special Session on Model Driven Engineering","first-page":"121","article-title":"Model-based system testing using visual contracts","author":"G\u00fcldali","year":"2009"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0145","series-title":"ICST","first-page":"327","article-title":"Empirical investigation of the effects of test suite properties on similarity-based test case selection","author":"Hemmati","year":"2011"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0150","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.2004.1265732","article-title":"Testability transformation","volume":"30","author":"Harman","year":"2004","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0155","series-title":"ISSTA\u201900: Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis","first-page":"60","article-title":"UML-based integration testing","author":"Hartmann","year":"2000"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0160","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/s11334-005-0006-0","article-title":"A UML-based approach to system testing","volume":"1","author":"Hartmann","year":"2005","journal-title":"Innovations in Systems and Software Engineering"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0165","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.entcs.2004.02.073","article-title":"Towards contract-based testing of web services","volume":"116","author":"Heckel","year":"2005","journal-title":"Electronic Notes in Theoretical Computer Science"},{"unstructured":"G. Helmut, T.R. Markus Nickolaus, K. Salomon, iX Studie 1\/2009 \u2013 Modellbasiertes Testen, Technical Report, Heise Verlag, 2009.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0170"},{"unstructured":"Hewlett\u2013Packard Development Company, Reducing risk through requirements-driven quality management: an end-to-end approach, 2007.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0175"},{"unstructured":"IEEE Computer Society, IEEE Recommended Practice for Software Requirements Specifications, 1998. <http:\/\/standards.ieee.org\/findstds\/standard\/830-1998.html>.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0180"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0185","series-title":"Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing","first-page":"179","article-title":"Synthesizing test models from test cases","author":"J\u00e4\u00e4skel\u00e4inen","year":"2009"},{"year":"1996","author":"Jones","series-title":"Applied Software Measurement","key":"10.1016\/B978-0-12-396535-6.00001-6_b0190"},{"year":"2007","author":"Linz","series-title":"Software Testing Foundations: A Study Guide for the Certified Tester Exam \u2013 Foundation Level \u2013 ISTQB Compliant","key":"10.1016\/B978-0-12-396535-6.00001-6_b0195"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0200","first-page":"9","article-title":"Towards Model-based Acceptance Testing for Scrum","volume":"30","author":"L\u00f6ffler","year":"2010","journal-title":"Softwaretechnik-Trends"},{"doi-asserted-by":"crossref","unstructured":"Q.A. Malik, A. Jaaskelainen, H. Virtanen, M. Katara, F. Abbors, D. Truscan, J. Lilius. Model-based testing using system vs. test models \u2013 what is the difference? in: IEEE International Conference on the Engineering of Computer-Based Systems, 2010, pp. 291\u2013299.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0205","DOI":"10.1109\/ECBS.2010.41"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0210","series-title":"WCRE\u201903: Proceedings of the 10th Working Conference on Reverse Engineering","first-page":"260","article-title":"GUI ripping: reverse engineering of graphical user interfaces for testing","author":"Memon","year":"2003"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0215","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0065-2458(10)80003-8","article-title":"Advances in automated model-based system testing of software applications with a GUI front-end","volume":"80","author":"Memon","year":"2010","journal-title":"Advances in Computers"},{"unstructured":"B. Meyer, Design by Contract, Technical Report, Technical Report TR-EI-12\/CO, Interactive Software Engineering Inc., 1986.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0220"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0225","series-title":"AST\u201906: Proceedings of the 2006 International Workshop on Automation of Software Test","first-page":"2","article-title":"Automatic test case generation for UML activity diagrams","author":"Mingsong","year":"2006"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0230","series-title":"Proceedings of 3rd International Conference on Software Testing, Verification and Validation","first-page":"327","article-title":"Holistic model-based testing for business information systems","author":"Mlynarski","year":"2010"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0235","series-title":"MoDeVVa\u201909: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation","first-page":"1","article-title":"From design models to test models by means of test ideas","author":"Mlynarski","year":"2009"},{"doi-asserted-by":"crossref","unstructured":"E.F. Moore, Gedanken\u2014Experiments on Sequential Machines, Automata Studies, Annals of Mathematical Studies, Princeton University Press, Princeton, NJ, 1956, pp. 129\u2013153.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0240","DOI":"10.1515\/9781400882618-006"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0245","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1109\/TSE.2006.22","article-title":"Automatic test generation: a use case driven approach","volume":"32","author":"Nebut","year":"2006","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0250","series-title":"CAiSE 2005: Advanced Information Systems Engineering","first-page":"504","article-title":"A method for information systems testing automation","author":"Neto","year":"2005"},{"unstructured":"Object Management Group, MDA Guide Version 1.0.1, 2003. <http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01>.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0255"},{"unstructured":"Object Management Group, UML Testing Profile Version 1.0, 2007. <http:\/\/utp.omg.org\/>.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0260"},{"unstructured":"Object Management Group, Unified Modeling Language Version 2.2, 2009. <http:\/\/www.omg.org\/spec\/UML\/2.2\/>.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0265"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0270","first-page":"416","article-title":"Generating tests from UML specifications","volume":"vol. 1723","author":"Offutt","year":"1999"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0275","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","article-title":"The category-partition method for specifying and generating functional tests","volume":"31","author":"Ostrand","year":"1988","journal-title":"Communications of the ACM"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0280","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1109\/TSE.2007.39","article-title":"Test synthesis from UML models of distributed software","volume":"33","author":"Pickin","year":"2007","journal-title":"IEEE Transactions on Software Engineering"},{"year":"1999","author":"Pol","series-title":"Test Process Improvement: A Practical Step-by-Step Guide to Structured Testing","key":"10.1016\/B978-0-12-396535-6.00001-6_b0285"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0290","series-title":"Methodological Issues in Model-Based Testing","article-title":"Model-Based Testing of Reactive Systems","author":"Pretschner","year":"2005"},{"doi-asserted-by":"crossref","unstructured":"S. Qian, F. Jiang, An event interaction structure for GUI test case generation, in: International Conference on Computer Science and Information Technology, 2009, pp. 619\u2013622.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0295","DOI":"10.1109\/ICCSIT.2009.5234773"},{"unstructured":"T. Roner, C. Brandes, H. G\u00f6tz, M. Winter, Basiswissen Modellbasierter Test, dpunkt.verlag, 2010.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0300"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0305","series-title":"ICSE\u201903: Proceedings of the 25th International Conference on Software Engineering","first-page":"726","article-title":"Writing good software engineering research papers: minitutorial","author":"Shaw","year":"2003"},{"unstructured":"M. Speyer, The Total Economic Impact of Conformiq Tool Suite, Technical Report, Forrester Research, 2010.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0310"},{"unstructured":"SQS Software Quality Systems AG, SQS PractiQ: Early Error Detection by Test Case Specification, 2009.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0315"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0320","series-title":"Proceeding of 4th International Conference on Software and Data Technologies ICSOFT 2009","first-page":"269","article-title":"A MDA-based testing. A comparative study","author":"Torres","year":"2009"},{"year":"2007","author":"Utting","series-title":"Practical Model-Based Testing: A Tools Approach","key":"10.1016\/B978-0-12-396535-6.00001-6_b0325"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0330","series-title":"Software Testing, Verification and Reliability","article-title":"A taxonomy of model-based testing approaches","author":"Utting","year":"2011"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0335","series-title":"AST\u201906: Proceedings of the 2006 International Workshop on Automation of Software Test","first-page":"9","article-title":"Automation of GUI testing using a model-driven approach","author":"Vieira","year":"2006"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0340","series-title":"Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, USA, October 4\u20139, 2009","first-page":"211","article-title":"Influencing factors in model-based testing with UML state machines: report on an industrial cooperation","author":"Wei\u00dfleder","year":"2009"},{"key":"10.1016\/B978-0-12-396535-6.00001-6_b0345","series-title":"IEEE Third International Conference on Software Testing Verification and Validation (ICST)","first-page":"117","article-title":"Simulated satisfaction of coverage criteria on uml state machines","author":"Wei\u00dfleder","year":"2010"},{"unstructured":"S. Wei\u00dfleder, B. G\u00fcldali, M. Mlynarski, A.M. T\u00f6rsel, D. Farago, F. Prester, M. Winter, Modellbasiertes Testen \u2013 Hype oder Realit\u00e4t, Objektspektrum 06, 2011.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0350"},{"unstructured":"S. Wei\u00dfleder, H. Lackner, System models vs. test models \u2013 distinguishing the undistinguishable? in: GI Jahrestagung (2)\u201910, 2010, pp. 321\u2013326.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0355"},{"doi-asserted-by":"crossref","unstructured":"S. Wei\u00dfleder, T. Rogenhofer, Simulated restriction of coverage criteria on uml state machines, in: IEEE Fourth International Conference on Software Testing Verification and Validation (ICST), 2011, pp. 34\u201338.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0360","DOI":"10.1109\/ICSTW.2011.78"},{"unstructured":"S. Wei\u00dfleder, D. Sokenou, H. Schlingloff, Reusing state machines for automatic test generation in product lines, in: Thomas Bauer, Hajo Eichler, Axel Rennoch (Eds.), Model-Based Testing in Practice (MoTiP), Fraunhofer IRB Verlag, 2008, pp. 19\u201328.","key":"10.1016\/B978-0-12-396535-6.00001-6_b0365"}],"container-title":["Advances in Computers","Advances in Computers Volume 86"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T02:12:31Z","timestamp":1743819151000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780123965356000016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9780123965356"],"references-count":73,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-396535-6.00001-6","relation":{},"ISSN":["0065-2458"],"issn-type":[{"type":"print","value":"0065-2458"}],"subject":[],"published":{"date-parts":[[2012]]}}}