{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:05:03Z","timestamp":1742965503911,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031757778"},{"type":"electronic","value":"9783031757785"}],"license":[{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75778-5_11","type":"book-chapter","created":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T12:08:59Z","timestamp":1731845339000},"page":"234-251","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Effective Model-Based Testing"],"prefix":"10.1007","author":[{"given":"Theo C.","family":"Ruys","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Machiel","family":"van der Bijl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,18]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley (1999)","key":"11_CR1","DOI":"10.1109\/TOOLS.1999.779100"},{"issue":"12","key":"11_CR2","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","volume":"25","author":"BW Boehm","year":"1976","unstructured":"Boehm, B.W.: Software engineering. IEEE Trans. Comput. 25(12), 1226\u20131241 (1976)","journal-title":"IEEE Trans. Comput."},{"key":"11_CR3","first-page":"25","volume":"14","author":"T Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. 14, 25\u201359 (1987)","journal-title":"Comput. Netw."},{"unstructured":"Brinksma, E., Alderden, R., Langerak, R., van\u00a0de Lagemaat, J., Tretmans, J.: A formal approach to conformance testing. In: de\u00a0Meer, J., Mackert, L., Effelsberg, W. (eds.) Proceedings of the IFIP TC 6 Second International Workshop on Protocol Test Systems, Berlin, FRG, 3\u20136 October 1989, North-Holland. Also: Memorandum INF-89-45, University of Twente, The Netherlands, pp. 349\u2013363 (1990)","key":"11_CR4"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1109\/TSE.2015.2487274","volume":"42","author":"M B\u00f6hme","year":"2016","unstructured":"B\u00f6hme, M., Paul, S.: A probabilistic analysis of the efficiency of automated software testing. IEEE Trans. Software Eng. 42(4), 345\u2013360 (2016)","journal-title":"IEEE Trans. Software Eng."},{"unstructured":"Dalal, S.R., et al.: Model-based testing in practice. In: Boehm, B.W. Garlan, D., Kramer, J. (eds.) Proceedings of the 1999 International Conference on Software Engineering, ICSE 99, Los Angeles, CA, USA, 16\u201322 May 1999, pp. 285\u2013294. ACM (1999)","key":"11_CR6"},{"unstructured":"Elmendorf, W.R.: Automated design of program test libraries. Technical report TR 00.2089, IBM (1970)","key":"11_CR7"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31848-4_1","volume-title":"Formal Approaches to Software Testing","author":"L Frantzen","year":"2005","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test generation based on symbolic specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 1\u201315. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31848-4_1"},{"key":"11_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111032","volume":"180","author":"V Garousi","year":"2021","unstructured":"Garousi, V., Keles, A.B., Balaman, Y., G\u00fcler, Z.\u00d6., Arcuri, A.: Model-based testing in practice: an experience report from the web applications domain. J. Syst. Softw. 180, 111032 (2021)","journal-title":"J. Syst. Softw."},{"unstructured":"Holzmann, G.J.: The Spin Model Checker - Primer and Reference Manual. Addison-Wesley, Boston, USA (2003)","key":"11_CR10"},{"key":"11_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-319-71734-0_7","volume-title":"Tools and Methods of Program Analysis","author":"W Li","year":"2018","unstructured":"Li, W., Le Gall, F., Spaseski, N.: A survey on model-based testing tools for test case generation. In: Itsykson, V., Scedrov, A., Zakharov, V. (eds.) TMPA 2017. CCIS, vol. 779, pp. 77\u201389. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-71734-0_7"},{"unstructured":"Matsumoto, Y.: Ruby in a Nutshell. O\u2019Reilly (2001)","key":"11_CR12"},{"unstructured":"Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.: A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech 2007), pp. 31\u201336 (2007)","key":"11_CR13"},{"doi-asserted-by":"crossref","unstructured":"Petrenko, A., da\u00a0Silva\u00a0Sim\u00e3o, A., Maldonado, J.C.: Model-based testing of software and systems: recent advances and challenges. Int. J. Softw. Tools Technol. Transf. 14(4), 383\u2013386 (2012)","key":"11_CR14","DOI":"10.1007\/s10009-012-0240-3"},{"unstructured":"Ruys, T.C.: Introduction to Model Based Testing and the Axini Modeling Language. Axini B.V., October 2021","key":"11_CR15"},{"issue":"2","key":"11_CR16","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/s10009-002-0078-1","volume":"4","author":"TC Ruys","year":"2003","unstructured":"Ruys, T.C., Brinksma, E.: Managing the Verification Trajectory. Int. J. Softw. Tools Technol. Transf. (STTT) 4(2), 246\u2013259 (2003)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-85778-5_18","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J Schmaltz","year":"2008","unstructured":"Schmaltz, J., Tretmans, J.: On conformance testing for timed systems. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 250\u2013264. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85778-5_18"},{"unstructured":"Thomas, D., Hunt, A.: The Pragmatic Programmer (20th Anniversary Edition). Addison-Wesley (2020)","key":"11_CR18"},{"unstructured":"Tretmans, J.: A formal approach to conformance testing. In: Rafiq, O. (ed.) Protocol Test Systems, VI, Proceedings of the IFIP TC6\/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28\u201330 September 1993, vol. C-19. IFIP Transactions, pp. 257\u2013276. North-Holland (1993)","key":"11_CR19"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78917-8_1"},{"unstructured":"Utting, M., Legeaard, B.: Practical Model-Based Testing: a Tools approach. Elsevier (2010)","key":"11_CR21"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-15297-9_19","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"S von Styp","year":"2010","unstructured":"von Styp, S., Bohnenkamp, H., Schmaltz, J.: A conformance testing relation for symbolic timed automata. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 243\u2013255. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_19"},{"unstructured":"Vos, T.E., van Vugt-Hage, N.: Software Testing - Workbook for O\/U course \u2018Software Testen\u2019, cursuscode IB3202. Open University, Heerlen, The Netherlands (2019)","key":"11_CR23"},{"unstructured":"Axini. https:\/\/www.axini.com","key":"11_CR24"},{"unstructured":"Bits &Chips. Model-based testing in safety-critical Scaled Agile. https:\/\/bits-chips.nl\/artikel\/model-based-testing-in-safety-critical-scaled-agile","key":"11_CR25"},{"unstructured":"SAFe. https:\/\/www.scaledagileframework.com","key":"11_CR26"}],"container-title":["Lecture Notes in Computer Science","Principles of Verification: Cycling the Probabilistic Landscape"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75778-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T13:03:06Z","timestamp":1731848586000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75778-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,18]]},"ISBN":["9783031757778","9783031757785"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75778-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,18]]},"assertion":[{"value":"18 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}