{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T21:50:42Z","timestamp":1759960242908},"reference-count":103,"publisher":"CRC Press","isbn-type":[{"type":"print","value":"9781439818459"},{"type":"electronic","value":"9781439818473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9,15]]},"DOI":"10.1201\/b11321-5","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T13:10:22Z","timestamp":1322917822000},"source":"Crossref","is-referenced-by-count":12,"title":["Automatic Model-Based Test Generation from UML State Machines"],"prefix":"10.1201","author":[{"given":"Stephan","family":"Wei\u00dfleder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Schlingloff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2011,12,2]]},"reference":[{"key":"p_1","doi-asserted-by":"crossref","unstructured":"Abdurazik, A., Ammann, P., Ding, W., and Offutt, J. (2000). Evaluation of three specification-based testing criteria. IEEE International Conference on Engineering of Complex Computer Systems, 179.","DOI":"10.1109\/ICECCS.2000.873943"},{"key":"p_2","unstructured":"Abdurazik, A., and Offutt, J. (2000). Using UML collaboration diagrams for static checking and test generation. In Evans, A., Kent, S., and Selic, B., editors, UML 2000- The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, 2000, Proceedings, Volume1939, Pages:383-395. Springer."},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.12.005"},{"key":"p_4","doi-asserted-by":"crossref","unstructured":"Aichernig, B. K. and Pari Salas, P. A. (2005). Test case generation by OCL mutation and constraint solving. International Conference on Quality Software, 64-71.","DOI":"10.1109\/QSIC.2005.63"},{"key":"p_5","unstructured":"Alekseev, S., Tollk\u00fchn, P., Palaga, P., Dai, Z. R., Hoffmann, A., Rennoch, A., and Schieferdecker, I. (2007). Reuse of classification tree models for complex software projects. Conference on Quality Engineering in Software Technology (CONQUEST)."},{"volume-title":"Test generation and recognition with formal methods. citeseer.ist.psu.edu\/ammann00test.html","year":"2000","author":"Ammann P.","key":"p_6"},{"key":"p_7","doi-asserted-by":"crossref","unstructured":"Ammann, P. E., Black, P. E., and Majurski, W. (1998). Using model checking to generate tests from specifications. InICFEM'98: Proceedings of the Second IEEE International Conference on Formal Engineering Methods, Page: 46, IEEEComputer Society, Washington, DC.","DOI":"10.6028\/NIST.IR.6166"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"p_9","unstructured":"Artho, C. and Biere, A. (2005). Combined static and dynamic analysis. InAIOOL'05: Proceedings of the 1st International Workshop on Abstract Interpretation of Object-Oriented Languages. Elsevier Science, ENTCS, Paris, France."},{"volume-title":"Reasoning and Declarative Problem Solving","author":"Baral C.","key":"p_10"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213008004060"},{"first-page":"825","volume-title":"Biere et al. [20]","author":"Barrett C. W.","key":"p_12"},{"key":"p_13","unstructured":"Basanieri, F., and Bertolino, A. (2000). A practical approach to UML-based derivation of integration tests. 4th International Software Quality Week Europe."},{"key":"p_14","first-page":"387","volume":"2001","author":"Basanieri F.","year":"2001","journal-title":"In Escom-Scope"},{"key":"p_15","unstructured":"Basanieri, F., Bertolino, A., Marchetti, E., Ribolini, A., Lombardi, G., and Nucera, G. (2001). An automated test strategy based on UML diagrams. Proceeding of the Ericsson Rational User Conference."},{"key":"p_16","unstructured":"Baudry, B., Fleurey, F., Jezequel, J.M., and Le Traon, Yves. (2002). Automatic test cases optimization using a bacteriological adaptation model: application to .NET components. Proceedings of ASE'02: Automated Software Engineering, Edinburgh."},{"volume-title":"Software Testing Techniques","author":"Beizer B.","key":"p_17"},{"volume-title":"lp solve 5.1. http:\/\/ lpsolve.sourceforge.net\/5.5\/","year":"2004","author":"Berkelaar M.","key":"p_19"},{"key":"p_20","volume-title":"editors","volume":"185","author":"Biere A.","year":"2009"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1147\/sj.223.0229"},{"key":"p_22","unstructured":"Bozga, M., Fernandez, J.C., and Ghirvu, L. (2000). Using static analysis to improve automatic test generation. InTACAS'00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Pages: 235-250. Springer-Verlag, London, UK."},{"key":"p_23","unstructured":"Briand, L. C., Labiche, Y., and Lin, Q. (2005). Improving statechart testing criteria using data flow information. InISSRE'05: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering, Pages: 95-104. IEEEComputer Society, Washington, DC."},{"key":"p_24","doi-asserted-by":"crossref","DOI":"10.1007\/b137241","volume-title":"Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)","author":"Broy M.","year":"2005"},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.4271\/2004-01-0459"},{"key":"p_27","unstructured":"Calame, J. R., Ioustinova, N., van de Pol, J., and Sidorova, N. (2005). Data abstraction and constraint solving for conformance testing. InAPSEC '05: Proceedings of the 12th Asia-Pacific Software Engineering Conference, Pages: 541-548. IEEEComputer Society, Washington, DC."},{"key":"p_28","unstructured":"Callahan, J., Schneider, F., and Easterbrook, S. (Aug 1996). Automated software testing using model-checking. InProceedings 1996 SPIN Workshop. Also WVU Technical Report NASA-IVV-96-022."},{"key":"p_29","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00086-X"},{"key":"p_30","doi-asserted-by":"publisher","DOI":"10.1109\/32.879810"},{"key":"p_32","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"p_34","unstructured":"Ciupa, I., Leitner, A., Oriol, M., and Meyer, B. (2006). Object distance and its application to adaptive random testing of object-oriented programs. InRT'06: Proceedings of the 1st International Workshop on Random Testing, Pages: 55-63. ACMPress New York, NY."},{"key":"p_35","doi-asserted-by":"crossref","unstructured":"Ciupa, I., Leitner, A., Oriol, M., and Meyer, B. (2007). Experimental assessment of random testing for object-oriented software. InISSTA'07: Proceedings of the Interna- tional Symposium on Software Testing and Analysis2007,84-94.","DOI":"10.1145\/1273463.1273476"},{"key":"p_36","unstructured":"Ciupa, I., Pretschner, A., Leitner, A., Oriol, M., and Meyer, B. (2008). On the predictability of random tests for object-oriented software. InICST'08: Proceedings of the First International Conference on Software Testing, Verification and Validation."},{"volume-title":"Model Checking","year":"2000","author":"Clarke E. M.","key":"p_37"},{"key":"p_39","unstructured":"Cousot, P. (2000). Abstract interpretation based program testing. InIn Proc. SSGRR 2000 Computer & eBusiness International Conference, Compact disk paper 248 and electronic proceedings http:\/\/www.ssgrr.it\/en\/ssgrr2000\/proceedings.htm, 2000. Scuola Superiore G. Reiss Romoli."},{"key":"p_40","unstructured":"Cousot, P. (2003). Automatic verification by abstract interpretation. InVMCAI'03: Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, Pages: 20-24. Springer-Verlag, London, UK."},{"key":"p_41","unstructured":"Cousot, P., and Cousot, R. (1992). Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation, invited paper. In Bruynooghe, M. and Wirsing, M., editors, Proceedings of the International Workshop Programming Language Implementation and Logic Programming (PLILP '92), Leuven, Belgium, 13-17 August 1992, Lecture Notes in Computer Science 631, Pages: 269-295. Springer-Verlag, Berlin, Germany."},{"volume-title":"Pages: 359-366","year":"2004","author":"Cousot P.","key":"p_42"},{"volume-title":"ASTRE Static Analyzer. http:\/\/www.astree.ens.fr\/","year":"2003","author":"Cousot P.","key":"p_43"},{"key":"p_44","unstructured":"Csallner, C., and Smaragdakis, Y. (2005). Check `n' crash: combining static checking and testing. InICSE'05: Proceedings of the 27th International Conference on Software Engineering, Pages: 422-431. ACM,New York, NY."},{"volume-title":"CVXOPT 1.1.1. http:\/\/abel.ee.ucla.edu\/ cvxopt\/","year":"2009","author":"Dahl J.","key":"p_45"},{"key":"p_46","unstructured":"Dai, Z. R., Deussen, P. H., Busch, M., Lacmene, L. P., Ngwangwen, T., Herrmann, J., and Schmidt, M. (2005). Automatic test data generation for TTCN-3 using CTE. InInternational Conference Software and Systems Engineering and their Applications (ICSSEA)."},{"key":"p_47","unstructured":"de Lucia, A. (2001). Program slicing: methods and applications. InFirst IEEE International Workshop on Source Code Analysis and Manipulation, Pages: 142-149. IEEEComputer Society Press, Los Alamitos, California, USA."},{"key":"p_48","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/978-3-642-04238-6_75","volume-title":"Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09)","volume":"5753","author":"Denecker M.","year":"2009"},{"volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","key":"p_49"},{"key":"p_50","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-2360-5"},{"volume-title":"Static analysis versus software model checking for bug finding. citeseer.ist.psu.edu\/engler04static.html","year":"2004","author":"Engler D.","key":"p_51"},{"key":"p_52","unstructured":"Ernst, M. D. Static and dynamic analysis: synergy and duality. InWODA'03: ICSE Workshop on Dynamic Analysis, Pages: 24-27. Portland, Oregon. May 9, 2003."},{"volume-title":"Backward conditioning: a new program specialisation technique and its application to program comprehension. citeseer.ist.psu.edu\/fox01backward.html","year":"2001","author":"Fox C.","key":"p_54"},{"key":"p_55","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-007-9031-6"},{"key":"p_56","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318939"},{"volume-title":"Handbook of Knowledge Representation","author":"Gelfond M.","key":"p_57"},{"volume-title":"MINION 0.9. http:\/\/minion.sourceforge.net\/","year":"2009","author":"Gent I.","key":"p_58"},{"key":"p_60","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370030203"},{"key":"p_61","unstructured":"Gupta, N., Mathur, A. P., and Soffa, M. L. (1998). Automated test data generation using an iterative relaxation method. InSIGSOFT'98\/FSE-6: Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Pages: 231-244. New York, NY."},{"key":"p_62","unstructured":"Gupta, N., Mathur, A. P., and Soffa, M. L. (1999). UNA based iterative test data generation and its evaluation. InASE'99: Proceedings of the ACM, 14th IEEE International Conference on Automated Software Engineering, Page: 224. IEEEComputer Society, Washington, DC."},{"key":"p_63","doi-asserted-by":"publisher","DOI":"10.1109\/32.815325"},{"key":"p_64","doi-asserted-by":"publisher","DOI":"10.1109\/32.62448"},{"key":"p_65","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370050303"},{"key":"p_66","unstructured":"Harman, M., Fox, C., Hierons, R., Hu, L., Danicic, S., and Wegener, J. (2003). VADA: a transformation-based system for variable dependence analysis. IEEE International Workshop on Source Code Analysis and Manipulation."},{"key":"p_67","unstructured":"Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., and Wegener, J. (2007). The impact of input domain reduction on search-based test data generation. InESECFSE'07: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT symposium on The Foundations of Software Engineering, Pages: 155-164. ACM,New York, NY."},{"key":"p_68","unstructured":"Harman, M. and McMinn, P. (2007). A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data Generation. InISSTA'07: Proceedings of the 2007 International Symposium on Software Testing and Analysis, Pages: 73-83. ACM,New York, NY."},{"key":"p_69","doi-asserted-by":"crossref","unstructured":"Haschemi, S. (2009). Model transformations to satisfy all-configuration-transitions on statecharts. In6th Workshop on Model-Based Design, Verification and Validation (MoDeVVa 2009).","DOI":"10.1145\/1656485.1656490"},{"volume-title":"Java pathFinder. http:\/\/javapathfinder.sourceforge.net\/","year":"1999","author":"Havelund K.","key":"p_70"},{"volume-title":"Software Testing, Verification and Reliability","year":"2002","author":"Hierons R. M.","key":"p_71"},{"key":"p_72","unstructured":"Hong, H., Lee, I., Sokolsky, O., and Cha, S. (2001). Automatic test generation from statecharts using model checking. InIn Proceedings of FATES'01 Workshop on Formal Approaches to Testing of Software, volume NS-01-4of BRICSNotes Series."},{"key":"p_75","unstructured":"Jalote, P., Vangala, V., Singh, T., and Jain, P. (2006). Program partitioning: a framework for combining static and dynamic analysis. InWODA'06: Proceedings of the 2006 International Workshop on Dynamic Systems Analysis, Pages: 11-16. ACMPress New York, NY."},{"key":"p_76","unstructured":"J\u00e9ron, T., and Morel, P. (1999). Test generation derived from model-checking. In Halbwachs, N. and Peled, D., editors, CAV'99: Proceedings of the 11th International Conference on Computer Aided Verification, volume1633of LNCS, Pages:108-122. Springer-Verlag, London, UK."},{"key":"p_78","unstructured":"Khor, S., and Grogono, P. (2004). Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically. InASE'04: Proceedings of the 19th IEEE International Conference on Automated Software Engineering, Pages: 346-349. IEEEComputer Society, Washington, DC."},{"key":"p_80","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"p_81","unstructured":"Kosmatov, N., Legeard, B., Peureux, F., and Utting, M. (2004). Boundary coverage criteria for test generation from formal models. InISSRE'04: Proceedings of the 15th International Symposium on Software Reliability Engineering, Pages: 139-150. IEEEComputer Society. Washington, DC."},{"key":"p_82","unstructured":"Lakhotia, K., Harman, M., and McMinn, P. (2008). Handling dynamic data structures in search based testing. InGECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation, Pages: 1759-1766. ACM,New York, NY."},{"volume-title":"Model-based testing of embedded automotive software using MTest","year":"2005","author":"Lamberg K.","key":"p_83"},{"key":"p_84","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/B:SQJO.0000024059.72478.4e","volume":"12","author":"Mansour N.","year":"2004","journal-title":"Software Quality Control"},{"key":"p_85","first-page":"69","author":"Mayer J.","year":"2005","journal-title":"Software Engineering"},{"key":"p_86","unstructured":"Mayer, J., and Schneckenburger, C. (2006). An empirical analysis and comparison of random testing techniques. InISESE'06: Proceedings of the 2006 ACM\/IEEE International Symposium on Empirical Software Engineering, Pages: 105-114. ACMPress, New York, NY."},{"key":"p_87","first-page":"1085","volume":"27","author":"Mcgraw G.","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"p_88","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"p_89","doi-asserted-by":"publisher","DOI":"10.1109\/32.962563"},{"key":"p_92","unstructured":"Offutt, J., and Abdurazik, A. (1999). Generating tests from UML specifications. In France, R. and Rumpe, B., editors, UML'99-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, October 28-30. 1999, Proceedings, Volume 1723, Pages: 416-429. Springer."},{"volume-title":"Issues in software testing with model checkers. citeseer.ist.psu.edu\/okun03issues.html","year":"2003","author":"Okun V.","key":"p_93"},{"key":"p_95","unstructured":"Ostrand, T., Weyuker, E. J., and Bell, R. (2004). Using static analysis to determine where to focus dynamic testing effort. InWODA'04: Workshop on Dynamic Analysis."},{"key":"p_96","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"p_97","first-page":"20","author":"Owen D.","year":"2006","journal-title":"Random Testing, Pages"},{"key":"p_98","doi-asserted-by":"publisher","DOI":"10.1145\/321958.321974"},{"key":"p_99","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"p_100","series-title":"Lecture Notes in Informatics","first-page":"280","volume-title":"Koschke, R., Herzog, O., R\u00f6diger, K.-H.","author":"Peleska J.","year":"2007"},{"volume-title":"QA+Test 2007: International Conference on QA+Testing Embedded Systems.","year":"2007","author":"Peleska J.","key":"p_101"},{"key":"p_102","unstructured":"Di Pierro, A., and Wiklicky, H. (2002). Probabilistic abstract interpretation and statistical testing. InPAPM-PROBMIV '02: Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Pages: 211-212. Springer-Verlag. London, UK."},{"volume-title":"(2008). Operations Research and Management Science Handbook","author":"Ravi Ravindran A.","key":"p_105"},{"volume-title":"editors","year":"2006","author":"Rossi F.","key":"p_106"},{"key":"p_111","unstructured":"Sthamer, H., Baresel, A., and Wegener, J. (2001). Evolutionary testing of embedded systems. QW'01: Proceedings of the 14th International Internet & Software Quality Week, 1-34."},{"key":"p_114","unstructured":"Tip, F., Choi, J.D., Field, J., and Ramalingam, G. (1996). Slicing class hierarchies in C++. InOOPSLA'96: Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Orogramming, Systems, Languages, and Applications, Pages: 179-197. ACMPress, New York, NY."},{"volume-title":"Practical Model-Based Testing: A Tools Approach","year":"2006","author":"Utting M.","key":"p_115"},{"volume-title":"The international SAT competitions web page. http:\/\/www.satcompetition.org\/","year":"2009","author":"van Maaren H.","key":"p_117"},{"key":"p_118","unstructured":"Wappler, S., and Lammermann, F. (2005). Using evolutionary algorithms for the unit testing of object-oriented software. InGECCO'05: Proceedings of the Conference on Genetic and Evolutionary Computation, Pages: 1053-1060. ACMPress, New York, NY."},{"key":"p_119","unstructured":"Wappler, S., and Schieferdecker, I. (2007). Improving evolutionary class testing in the presence of non-public methods. InASE'07: Proceedings of the 22nd IEEE\/ACM International Conference on Automated Software Engineering, Pages: 381-384. ACM,New York, NY."},{"key":"p_120","unstructured":"Wegener, J., Sthamer, H., and Baresel, A. (2001). Application fields for evolutionary testing. Eurostar: Proceedings of the 9th European International Conference on Software Testing Analysis & Review."},{"key":"p_123","unstructured":"Wei\u00dfleder, S. (2009). Influencing factors in model-based testing with UML state machines: report on an industrial cooperation. InModels'09: 12th International Conference on Model Driven Engineering Languages and Systems."},{"key":"p_124","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S. (2010). Simulated satisfaction of coverage criteria on UML state machines. International Conference on Software Testing, Verification, and Validation (ICST).","DOI":"10.1109\/ICST.2010.28"},{"key":"p_126","unstructured":"Wei\u00dfleder, S., and Schlingloff, H. (2007). Deriving input partitions from UML models for automatic test generation. In Giese, H., editor, MoDELS Workshops, Volume5002of Lecture Notes in Computer Science, Pages: 151-163. Springer."},{"key":"p_127","unstructured":"Wei\u00dfleder, S. and Schlingloff, H. (2008). Quality of automatically generated test cases based on OCL expressions. InICST'08: International Conference on Software Testing, Verification, and Validation, Pages: 517-520."},{"key":"p_128","doi-asserted-by":"publisher","DOI":"10.1109\/32.83906"},{"key":"p_129","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370010107"}],"container-title":["Computational Analysis, Synthesis, &amp; Design Dynamic Systems","Model-Based Testing for Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T03:31:21Z","timestamp":1561001481000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/abs\/10.1201\/b11321-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,15]]},"ISBN":["9781439818459","9781439818473"],"references-count":103,"alternative-id":["10.1201\/b11321-5","10.1201\/CRCMODBASDES","10.1201\/b11321"],"URL":"https:\/\/doi.org\/10.1201\/b11321-5","relation":{},"ISSN":["2154-9826"],"issn-type":[{"type":"print","value":"2154-9826"}],"subject":[],"published":{"date-parts":[[2011,9,15]]}}}