{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:37:44Z","timestamp":1761597464936,"version":"3.40.4"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,11,8]],"date-time":"2013-11-08T00:00:00Z","timestamp":1383868800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10009-013-0291-0","type":"journal-article","created":{"date-parts":[[2013,11,7]],"date-time":"2013-11-07T13:47:10Z","timestamp":1383832030000},"page":"59-76","source":"Crossref","is-referenced-by-count":43,"title":["A systematic review of state-based test tools"],"prefix":"10.1007","volume":"17","author":[{"given":"Muhammad","family":"Shafique","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,8]]},"reference":[{"key":"291_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)"},{"key":"291_CR2","volume-title":"Software Testing Techniques","author":"B Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)"},{"key":"291_CR3","volume-title":"Software Testing","author":"R Patton","year":"2005","unstructured":"Patton, R.: Software Testing. SAMS, Indianapolis (2005)"},{"key":"291_CR4","doi-asserted-by":"crossref","unstructured":"Boberg, J.: Early fault detection with model-based testing. In: ACM SIGPLAN Workshop on ERLANG, pp. 9\u201320. ACM, New york (2008)","DOI":"10.1145\/1411273.1411276"},{"key":"291_CR5","doi-asserted-by":"crossref","unstructured":"Pretschner, A.: Model-based testing in Practice. In: Formal Methods. Lecture Notes in Computer Science, vol. 3582, pp. 537\u2013541. Springer, Heidelberg (2005)","DOI":"10.1007\/11526841_37"},{"key":"291_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M., Jonsson, B., Katoen, J., Leucker, M., Pretschner, A.: Model-based testing of reactive systems, vol. 3472, Springer, Heidelberg (2005)","DOI":"10.1007\/b137241"},{"key":"291_CR7","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, San Francisco (2006)"},{"key":"291_CR8","volume-title":"Foundations of Software Testing","author":"AP Mathur","year":"2009","unstructured":"Mathur, A.P.: Foundations of Software Testing. Pearson Education, Upper Saddle River (2009)"},{"key":"291_CR9","doi-asserted-by":"crossref","unstructured":"Gossens, S., Belli, F., Beydeda, S., Cin, M.D.: View graphs for analysis and testing of programs at different abstraction levels. In: IEEE International Symposium on High-Assurance Systems Engineering, pp. 121\u2013130 (2005)","DOI":"10.1109\/HASE.2005.27"},{"key":"291_CR10","unstructured":"Vegas, S., Juristo, N., Basili, V. R.: Maturing software engineering knowledge through classifications: a case study on unit testing techniques. IEEE Trans. Softw. Eng. 35(4), 551\u2013565 (2009)"},{"key":"291_CR11","volume-title":"UML Bible","author":"T Pender","year":"2003","unstructured":"Pender, T.: UML Bible. Wiley, New York (2003)"},{"key":"291_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0043-0","volume-title":"Understanding Formal Methods","author":"J Monin","year":"2003","unstructured":"Monin, J.: Understanding Formal Methods. Springer, Berlin (2003)"},{"key":"291_CR13","volume-title":"The Formal Description Technique LOTOS: Results of the ESPRIT\/SEDOS Project","author":"PHJ Eijk van","year":"1989","unstructured":"van Eijk, P.H.J., Vissers, C.A., D\u00edaz, M.: The Formal Description Technique LOTOS: Results of the ESPRIT\/SEDOS Project. Elsevier, Amsterdam (1989)"},{"key":"291_CR14","volume-title":"Introduction to Stateflow with Applications","author":"ST Karris","year":"2007","unstructured":"Karris, S.T.: Introduction to Stateflow with Applications. Orchard Publications, Fremont (2007)"},{"issue":"4","key":"291_CR15","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE. 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE."},{"key":"291_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Springer, Berlin (1993)"},{"key":"291_CR17","unstructured":"Binder, R.V.: Model-Based Testing User Survey: Results and Analysis. http:\/\/www.robertvbinder.com\/docs\/arts\/MBT-User-Survey.pdf (2011). Accessed June 2012"},{"key":"291_CR18","volume-title":"Guidelines for Performing Systematic Literature Reviews in Software Engineering","author":"B Kitchenham","year":"2007","unstructured":"Kitchenham, B., Charters, S.: Guidelines for Performing Systematic Literature Reviews in Software Engineering. Computer Science, Keele University, Staffordshire (2007)"},{"issue":"1","key":"291_CR19","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/MS.2005.6","volume":"22","author":"T Dyba","year":"2005","unstructured":"Dyba, T., Kitchenham, B., Jorgensen, M.: Evidence-based software engineering for practitioners. IEEE Softw. 22(1), 58\u201365 (2005)","journal-title":"IEEE Softw."},{"key":"291_CR20","doi-asserted-by":"crossref","unstructured":"Kitchenham, B., Dyba, T., Jorgensen, M.: Evidence-based software engineering. In: ACM\/IEEE International Conference on Software Engineering, pp. 273\u2013281 (2004)","DOI":"10.1109\/ICSE.2004.1317449"},{"issue":"4","key":"291_CR21","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/j.jss.2006.07.009","volume":"80","author":"P Brereton","year":"2007","unstructured":"Brereton, P., Kitchenham, B., Budgen, D., Turner, M., Khalil, M.: Lessons from applying the systematic literature review process within the software engineering domain. J. Syst. Softw. 80(4), 571\u2013583 (2007)","journal-title":"J. Syst. Softw."},{"key":"291_CR22","doi-asserted-by":"crossref","unstructured":"Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (in Conjunction with IEEE\/ACM ASE), pp. 31\u201336 (2007)","DOI":"10.1145\/1353673.1353681"},{"key":"291_CR23","unstructured":"Hartman, A.: Model-Based Test Generation Tools. http:\/\/cm.techwell.com\/sites\/default\/files\/articles\/XDD6047filelistfilename1_0.pdf (2002). Accessed June 2012 (2002)"},{"key":"291_CR24","volume-title":"Object-Oriented Software Engineering using UML, Patterns, and Java","author":"B Bruegge","year":"2004","unstructured":"Bruegge, B., Dutoit, A.H.: Object-Oriented Software Engineering using UML, Patterns, and Java. Prentice Hall, Englewood Cliffs (2004)"},{"key":"291_CR25","doi-asserted-by":"crossref","unstructured":"Chanson, S.T., Zhu, J.: A unified approach to protocol test sequence generation. In: Proceedings. Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies. Networking: Foundation for the Future, pp. 106\u2013114 (1993)","DOI":"10.1109\/INFCOM.1993.253243"},{"key":"291_CR26","volume-title":"Model-Based Software Testing and Analysis with C#","author":"J Jacky","year":"2008","unstructured":"Jacky, J., Veanes, M., Campbell, C., Schulte, W.: Model-Based Software Testing and Analysis with C#. Cambridge University Press, Cambridge (2008)"},{"key":"291_CR27","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"R Binder","year":"1999","unstructured":"Binder, R.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, Reading (1999)"},{"key":"291_CR28","volume-title":"Software Testing-a Craftsman\u2019s Approach","author":"P Jorgensen","year":"2008","unstructured":"Jorgensen, P.: Software Testing-a Craftsman\u2019s Approach. Auerbach Publications, Boca Raton (2008)"},{"key":"291_CR29","doi-asserted-by":"crossref","DOI":"10.1201\/9781439834367","volume-title":"Software Testing and Continuous Quality Improvement","author":"W Lewis","year":"2008","unstructured":"Lewis, W.: Software Testing and Continuous Quality Improvement. CRC Press, Boca Raton (2008)"},{"key":"291_CR30","volume-title":"Software Testing and Analysis","author":"M Pezze","year":"2007","unstructured":"Pezze, M., Young, M.: Software Testing and Analysis. Wiley, New York (2007)"},{"key":"291_CR31","volume-title":"Automating Specification-Based Software Testing","author":"RM Poston","year":"1997","unstructured":"Poston, R.M.: Automating Specification-Based Software Testing. IEEE Computer Society, Los Alamitos (1997)"},{"key":"291_CR32","volume-title":"Implementing Automated Software Testing: How to Lower Costs while Raising Quality","author":"E Dustin","year":"2009","unstructured":"Dustin, E., Garrett, T., Gauf, B.: Implementing Automated Software Testing: How to Lower Costs while Raising Quality. Addison-Wesley, Upper Saddle River (2009)"},{"key":"291_CR33","volume-title":"Automated Software Testing-introduction, Management, and Performance","author":"E Dustin","year":"1999","unstructured":"Dustin, E., Rashka, J., Paul, J.: Automated Software Testing-introduction, Management, and Performance. Addison-Wesley, Upper Saddle River (1999)"},{"key":"291_CR34","volume-title":"Software Test Automation-Effective use of Test Execution Tools","author":"MGD Fewster","year":"1999","unstructured":"Fewster, M.G.D.: Software Test Automation-Effective use of Test Execution Tools. Addison-Wesley, Upper Saddle River (1999)"},{"key":"291_CR35","volume-title":"Effective Software Test Automation: Developing an Automated Software Testing Tool","author":"K Li","year":"2004","unstructured":"Li, K., Wu, M.: Effective Software Test Automation: Developing an Automated Software Testing Tool. Sybex, Alamdea (2004)"},{"issue":"4","key":"291_CR36","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/comjnl\/25.4.465","volume":"25","author":"EJ Weyuker","year":"1982","unstructured":"Weyuker, E.J.: On testing non-testable programs. Comput. J. 25(4), 465\u2013470 (1982)","journal-title":"Comput. J."},{"issue":"1","key":"291_CR37","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.infsof.2008.09.010","volume":"51","author":"L Briand","year":"2009","unstructured":"Briand, L., Labiche, Y., He, S.: Automating regression test selection based on UML Designs. Inf. Softw. Technol. 51(1), 16\u201330 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"291_CR38","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1002\/smr.508","volume":"23","author":"N Mansour","year":"2011","unstructured":"Mansour, N., Takkoush, H., Nehme, A.: UML-based regression testing for OO software. J. Softw. Maint. Evolut. Res. Pract. 23, 51\u201368 (2011)","journal-title":"J. Softw. Maint. Evolut. Res. Pract."},{"key":"291_CR39","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/3-540-48213-X_24","volume-title":"Comparing TorX, Autolink, TGV and UIO Test Algorithms, SDL 2001: Meeting UML","author":"N Goga","year":"2001","unstructured":"Goga, N.: Comparing TorX, Autolink, TGV and UIO Test Algorithms, SDL 2001: Meeting UML, pp. 379\u2013402. Springer, Berlin (2001)"},{"key":"291_CR40","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1002\/stvr.264","volume":"13","author":"AJ Offutt","year":"2003","unstructured":"Offutt, A.J., Liu, S., Abdurazik, A., Ammann, P.: Generating test data from state-based specifications. Softw. Test. Verif. Reliab. 13, 25\u201353 (2003)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"291_CR41","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: a survey. Proc. IEEE 84, 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"291_CR42","unstructured":"Mouchawrab, S., Briand, L.C., Labiche, Y., Penta, M.D.: Assessing, comparing, and combining state machine-based testing and structural testing: a series of experiments. IEEE Trans. Softw. Eng. 37, 161\u2013187 (2011)"},{"key":"291_CR43","doi-asserted-by":"crossref","unstructured":"Khalil, M., Labiche, Y.: On the round trip path testing strategy. In: IEEE 21st International Symposium on Software Reliability Engineering (ISSRE), pp. 388\u2013397 (2010)","DOI":"10.1109\/ISSRE.2010.39"},{"key":"291_CR44","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Wang, Y.: Using simulation to empirically investigate test coverage criteria. In: IEEE\/ACM International Conference on Software Engineering, pp. 86\u201395 (2004)","DOI":"10.1109\/ICSE.2004.1317431"},{"key":"291_CR45","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, A., Hong, H.: Coverage criteria for logical expressions. In: International Symposium on Software Reliability Engineering, pp. 99\u2013107 (2003)","DOI":"10.1109\/ISSRE.2003.1251034"},{"key":"291_CR46","doi-asserted-by":"crossref","unstructured":"Vouk, M., Tai, K., Paradkar, A.: Empirical studies of predicate-based software testing. In: 5th International Symposium on Software Reliability Engineering, pp. 55\u201364 (1994)","DOI":"10.1109\/ISSRE.1994.341348"},{"key":"291_CR47","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"TJ Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating functional test. Commun. ACM 31, 676\u2013686 (1988)","journal-title":"Commun. ACM"},{"key":"291_CR48","doi-asserted-by":"crossref","unstructured":"Reid, S.: An empirical analysis of equivalence partitioning, boundary value analysis and random testing. In: Software Metrics Symposium, pp. 64\u201373 (1997)","DOI":"10.1109\/METRIC.1997.637166"},{"key":"291_CR49","doi-asserted-by":"crossref","unstructured":"Maity, S., Nayak, A.: Improved test generation algorithms for pair-wise testing. In: IEEE International Symposium on Software Reliability Engineering, pp. 235\u2013244 (2005)","DOI":"10.1109\/ISSRE.2005.23"},{"key":"291_CR50","unstructured":"Burr, K., Young, W.: Combinatorial test techniques: table-based automation, test generation, and code coverage. In: International Conference on Software Testing Analysis and Review, pp. 503\u2013513 (1998)"},{"key":"291_CR51","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Briand, L.C., Penta, M.D., Labiche, Y.: A case study using the round-trip strategy for state-based class testing. In: 13th International Symposium on Software Reliability Engineering, pp. 269\u2013279 (2002)","DOI":"10.1109\/ISSRE.2002.1173268"},{"key":"291_CR52","unstructured":"Saifan, A., Dingel, J.: Model-Based Testing of Distributed Systems. School of Computing, Queen\u2019s University, Canada (2008)"},{"key":"291_CR53","doi-asserted-by":"crossref","unstructured":"Saifan, A., Dingel, J.: A survey of using model-based testing to improve quality attributes in distributed systems. In: Advanced Techniques in Computing Sciences and Software Engineering, pp. 283\u2013288, Springer, Netherlands (2010)","DOI":"10.1007\/978-90-481-3660-5_48"},{"key":"291_CR54","doi-asserted-by":"crossref","unstructured":"Hartman, A.: AGEDIS-model based test generation tool. In: ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 129\u2013132 (2004)","DOI":"10.1145\/1013886.1007529"},{"key":"291_CR55","volume-title":"A Taxonomy of Model-Based Testing","author":"M Utting","year":"2006","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A Taxonomy of Model-Based Testing. Department of Computer Science, The University of Waikato, New Zealand (2006)"},{"key":"291_CR56","doi-asserted-by":"crossref","unstructured":"Belinfante, A., El-Ramly, M., Horstmann, M.: Tools for test case generation. In: Model-Based Testing of Reactive Systems. LNCS, pp. 391\u2013438. Springer, Berlin (2005)","DOI":"10.1007\/11498490_18"},{"issue":"5","key":"291_CR57","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2011","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. J. Softw. Test. Verif. Reliab. 22(5), 297\u2013312 (2011)","journal-title":"J. Softw. Test. Verif. Reliab."},{"key":"291_CR58","doi-asserted-by":"crossref","unstructured":"Zander, J., Schieferdecker, I., Mostermna, P.J.: A taxonomy of model-based testing for embedded systems from multiple industry domains. In: Model-Based Testing for Embedded Systems, pp. 3\u201322. CRC Press, Boca Raton (2012)","DOI":"10.1201\/b11321-2"},{"issue":"1","key":"291_CR59","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MS.2012.13","volume":"29","author":"I Schieferdecker","year":"2012","unstructured":"Schieferdecker, I.: Model-based testing. IEEE Softw. 29(1), 14\u201318 (2012)","journal-title":"IEEE Softw."},{"issue":"3","key":"291_CR60","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1147\/sj.453.0501","volume":"45","author":"A Sinha","year":"2006","unstructured":"Sinha, A., Williams, C.E., Santhanam, P.: A measurement framework for evaluating model-based test generation tools. IBM Syst. J. 45(3), 501\u2013514 (2006)","journal-title":"IBM Syst. J."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0291-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-013-0291-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0291-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T19:49:36Z","timestamp":1746042576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-013-0291-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,8]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["291"],"URL":"https:\/\/doi.org\/10.1007\/s10009-013-0291-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2013,11,8]]}}}