{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:40:50Z","timestamp":1743118850145,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030921231"},{"type":"electronic","value":"9783030921248"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-92124-8_5","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T17:18:47Z","timestamp":1638465527000},"page":"84-102","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Exhaustive Property Oriented Model-Based Testing with\u00a0Symbolic Finite State Machines"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0475-4128","authenticated-orcid":false,"given":"Niklas","family":"Krafczyk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3667-9775","authenticated-orcid":false,"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,12,3]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Bergenthal, M., Krafczyk, N., Peleska, J., Sachtleben, R.: libfsmtest - An Open Source Library for FSM-based Testing. In: Cavalli, A., Men\u00e9ndez, H.D. (eds.) Testing Software and Systems - Proceedings of the IFIP-ICTSS 2021. Lecture Notes in Computer Science. Springer, Cham (2021, to appear)","DOI":"10.1007\/978-3-031-04673-5_1"},{"key":"5_CR2","doi-asserted-by":"publisher","unstructured":"Biere, A., Heljanko, K., Junttila, T., Latvala, T., Schuppan, V.: Linear encodings of bounded LTL model checking. Logical Methods Comput. Sci. 2(5) (2006). https:\/\/doi.org\/10.2168\/LMCS-2(5:5)2006. http:\/\/arxiv.org\/abs\/cs\/0611029. arXiv: cs\/0611029","DOI":"10.2168\/LMCS-2(5:5)2006"},{"key":"5_CR3","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-24617-6_11","volume-title":"Formal Approaches to Software Testing","author":"J-C Fernandez","year":"2004","unstructured":"Fernandez, J.-C., Mounier, L., Pachon, C.: Property oriented test case generation. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 147\u2013163. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24617-6_11"},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp. 412\u2013416. IEEE Computer Society, San Diego (2001). https:\/\/doi.org\/10.1109\/ASE.2001.989841. http:\/\/ieeexplore.ieee.org\/document\/989841\/","DOI":"10.1109\/ASE.2001.989841"},{"issue":"10","key":"5_CR6","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1109\/TC.2004.85","volume":"53","author":"RM Hierons","year":"2004","unstructured":"Hierons, R.M.: Testing from a nondeterministic finite state machine using adaptive state counting. IEEE Trans. Comput. 53(10), 1330\u20131342 (2004). https:\/\/doi.org\/10.1109\/TC.2004.85","journal-title":"IEEE Trans. Comput."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing. Softw. Tools Technol. Transfer 18(3), 265\u2013283 (2016)","DOI":"10.1007\/s10009-014-0356-8"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Huang, W.L., Peleska, J.: Complete model-based equivalence class testing for nondeterministic systems. Formal Aspects Comput. 29(2), 335\u2013364 (2017). https:\/\/doi.org\/10.1007\/s00165-016-0402-2. https:\/\/link.springer.com\/article\/10.1007\/s00165-016-0402-2","DOI":"10.1007\/s00165-016-0402-2"},{"key":"5_CR9","unstructured":"Huang, W., Peleska, J.: Complete requirements-based testing with finite state machines. CoRR abs\/2105.11786 (2021). https:\/\/arxiv.org\/abs\/2105.11786"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Huang, W.l., \u00d6zoguz, S., Peleska, J.: Safety-complete test suites. Softw. Qual. J. (2018). https:\/\/doi.org\/10.1007\/s11219-018-9421-y","DOI":"10.1007\/s11219-018-9421-y"},{"key":"5_CR11","doi-asserted-by":"publisher","unstructured":"H\u00fcbner, F., Huang, W.L., Peleska, J.: Experimental evaluation of a novel equivalence class partition testing strategy. Softw. Syst. Model., 1\u201321 (2017). https:\/\/doi.org\/10.1007\/s10270-017-0595-8. https:\/\/link.springer.com\/article\/10.1007\/s10270-017-0595-8","DOI":"10.1007\/s10270-017-0595-8"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Machado, P.D.L., Silva, D.A., Mota, A.C.: Towards property oriented testing. Electron. Notes Theor. Comput. Sci. 184(Supplement C), 3\u201319 (2007). https:\/\/doi.org\/10.1016\/j.entcs.2007.06.001. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S157106610700432X","DOI":"10.1016\/j.entcs.2007.06.001"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"Peleska, J.: Model-based avionic systems testing for the airbus family. In: 23rd IEEE European Test Symposium, ETS 2018, Bremen, Germany, 28 May\u20131 June 2018, pp. 1\u201310. IEEE (2018). https:\/\/doi.org\/10.1109\/ETS.2018.8400703","DOI":"10.1109\/ETS.2018.8400703"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-030-03427-6_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice","author":"J Peleska","year":"2018","unstructured":"Peleska, J., Brauer, J., Huang, W.: Model-based testing for avionic systems proven benefits and further challenges. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 82\u2013103. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_11"},{"key":"5_CR15","unstructured":"Peleska, J., Huang, W.: Test automation - foundations and applications of model-based testing. University of Bremen, January 2017. http:\/\/www.informatik.uni-bremen.de\/agbs\/jp\/papers\/test-automation-huang-peleska.pdf"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"Petrenko, A.: Checking experiments for symbolic input\/output finite state machines. In: 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 229\u2013237, April 2016. https:\/\/doi.org\/10.1109\/ICSTW.2016.9","DOI":"10.1109\/ICSTW.2016.9"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N., Bochmann, G.V.: Fault models for testing in context. In: Gotzhein, R., Bredereke, J. (eds.) Formal Description Techniques IX - Theory, Application and Tools, pp. 163\u2013177. Chapman&Hall (1996)","DOI":"10.1007\/978-0-387-35079-0_10"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Petrenko, A.: Toward testing from finite state machines with symbolic inputs and outputs. Softw. Syst. Model. 18(2), 825\u2013835 (2019)","DOI":"10.1007\/s10270-017-0613-x"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Simao, 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)","DOI":"10.1007\/s10009-012-0240-3"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-030-22348-9_24","volume-title":"Models, Mindsets, Meta: The What, the How, and the Why Not?","author":"J van de Pol","year":"2019","unstructured":"van de Pol, J., Meijer, J.: Synchronous or alternating? In: Margaria, T., Graf, S., Larsen, K.G. (eds.) Models, Mindsets, Meta: The What, the How, and the Why Not? LNCS, vol. 11200, pp. 417\u2013430. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22348-9_24"},{"key":"5_CR21","doi-asserted-by":"publisher","unstructured":"Pretschner, A.: Defect-based testing. In: Irlbeck, M., Peled, D.A., Pretschner, A. (eds.) Dependable Software Systems Engineering, NATO Science for Peace and Security Series, D: Information and Communication Security, vol. 40, pp. 224\u2013245. IOS Press (2015). https:\/\/doi.org\/10.3233\/978-1-61499-495-4-224","DOI":"10.3233\/978-1-61499-495-4-224"},{"issue":"5","key":"5_CR22","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"AP Sistla","year":"1994","unstructured":"Sistla, A.P.: Safety, liveness and fairness in temporal logic. Formal Aspects Comput. 6(5), 495\u2013511 (1994)","journal-title":"Formal Aspects Comput."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-92124-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T23:39:04Z","timestamp":1673912344000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-92124-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030921231","9783030921248"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-92124-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"3 December 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"86","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6.5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}