{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:30:11Z","timestamp":1742952611725,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675480"},{"type":"electronic","value":"9783319675497"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67549-7_3","type":"book-chapter","created":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T12:56:18Z","timestamp":1505393778000},"page":"38-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Effective Infinite-State Model Checking by Input Equivalence Class Partitioning"],"prefix":"10.1007","author":[{"given":"Niklas","family":"Krafczyk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,15]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-17071-3_12","volume-title":"Formal Methods for Components and Objects","author":"BK Aichernig","year":"2010","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W.: Model-based mutation testing of hybrid systems. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 228\u2013249. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-17071-3_12"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-38916-0_2","volume-title":"Tests and Proofs","author":"BK Aichernig","year":"2013","unstructured":"Aichernig, B.K., Lorber, F., Ni\u010dkovi\u0107, D.: Time for mutants \u2014 model-based mutation testing with timed automata. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 20\u201338. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38916-0_2"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-30080-9_1","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"R Alur","year":"2004","unstructured":"Alur, R., Madhusudan, P.: Decision problems for timed automata: a survey. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 1\u201324. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-30080-9_1"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-319-11737-9_25","volume-title":"Formal Methods and Software Engineering","author":"C Braunstein","year":"2014","unstructured":"Braunstein, C., Haxthausen, A.E., Huang, W., H\u00fcbner, F., Peleska, J., Schulze, U., Vu Hong, L.: Complete model-based equivalence class testing for the ETCS ceiling speed monitor. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 380\u2013395. Springer, Cham (2014). doi:10.1007\/978-3-319-11737-9_25"},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. (SE) 4(3), 178\u2013186 (1978)","journal-title":"IEEE Trans. Softw. Eng. (SE)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-60045-0_40","volume-title":"Computer Aided Verification","author":"J Dingel","year":"1995","unstructured":"Dingel, J., Filkorn, T.: Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving. In: Wolper, P. (ed.) CAV 1995. LNCS, vol. 939, pp. 54\u201369. Springer, Heidelberg (1995). doi:10.1007\/3-540-60045-0_40"},{"issue":"2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s10009-015-0377-y","volume":"18","author":"T Gibson-Robinson","year":"2016","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3: a parallel refinement checker for CSP. Int. J. Softw. Tools Technol. Transf. 18(2), 149\u2013167 (2016). http:\/\/dx.doi.org\/10.1007\/s10009-015-0377-y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1\u20132","key":"3_CR8","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"TA Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P., Wong-Toi, H.: HYTECH: a model checker for hybrid systems. STTT 1(1\u20132), 110\u2013122 (1997). https:\/\/doi.org\/10.1007\/s100090050008","journal-title":"STTT"},{"issue":"3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10009-014-0356-8","volume":"18","author":"W Huang","year":"2016","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing. STTT 18(3), 265\u2013283 (2016). http:\/\/dx.doi.org\/10.1007\/s10009-014-0356-8","journal-title":"STTT"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s00165-016-0402-2","volume":"29","author":"W Huang","year":"2017","unstructured":"Huang, W., Peleska, J.: Complete model-based equivalence class testing for nondeterministic systems. Form. Asp. Comput. 29(2), 335\u2013364 (2017). http:\/\/dx.doi.org\/10.1007\/s00165-016-0402-2","journal-title":"Form. Asp. Comput."},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-319-21215-9_10","volume-title":"Tests and Proofs","author":"F H\u00fcbner","year":"2015","unstructured":"H\u00fcbner, F., Huang, W., Peleska, J.: Experimental evaluation of a novel equivalence class partition testing strategy. In: Blanchette, J.C., Kosmatov, N. (eds.) TAP 2015. LNCS, vol. 9154, pp. 155\u2013172. Springer, Cham (2015). doi:10.1007\/978-3-319-21215-9_10"},{"key":"3_CR12","unstructured":"Krafczyk, N.: \u00c4quivalenzpr\u00fcfung f\u00fcr Zustandstransitionssysteme mittels Eingabe\u00e4quivalenzklassenpartitionierung. Master\u2019s thesis, University of Bremen, November 2016"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Krenn, W., Schlick, R., Tiran, S., Aichernig, B., Jobstl, E., Brandl, H.: MoMut: UML model-based mutation testing for UML. In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u20138. IEEE (2015)","DOI":"10.1109\/ICST.2015.7102627"},{"key":"3_CR14","unstructured":"Object Management Group: OMG Systems Modeling Language (OMG SysML), Version 1.4. Technical report, Object Management Group (2015). http:\/\/www.omg.org\/spec\/SysML\/1.4"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-24580-0_11","volume-title":"Testing Software and Systems","author":"J Peleska","year":"2011","unstructured":"Peleska, J., et al.: A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 146\u2013161. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-24580-0_11"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-45943-1_1","volume-title":"Critical Systems: Formal Methods and Automated Verification","author":"J Peleska","year":"2016","unstructured":"Peleska, J., Huang, W.: Model-based testing strategies and their (in)dependence on syntactic model representations. In: Beek, M.H., Gnesi, S., Knapp, A. (eds.) FMICS\/AVoCS -2016. LNCS, vol. 9933, pp. 3\u201321. Springer, Cham (2016). doi:10.1007\/978-3-319-45943-1_1"},{"key":"3_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"AW Roscoe","year":"2010","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Springer, London (2010). doi:10.1007\/978-1-84882-258-0"},{"issue":"1\u20132","key":"3_CR18","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J Springintveld","year":"2001","unstructured":"Springintveld, J., Vaandrager, F., D\u2019Argenio, P.: Testing timed automata. Theor. Comput. Sci. 254(1\u20132), 225\u2013257 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-31759-0_18","volume-title":"Model Checking Software","author":"M Sulzmann","year":"2012","unstructured":"Sulzmann, M., Zechner, A.: Model checking DSL-generated C source code. In: Donaldson, A., Parker, D. (eds.) SPIN 2012. LNCS, vol. 7385, pp. 241\u2013247. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-31759-0_18"},{"key":"3_CR20","first-page":"98","volume":"4","author":"MP Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika (Transl.) 4, 98\u2013108 (1973)","journal-title":"Kibernetika (Transl.)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67549-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,25]],"date-time":"2021-09-25T02:34:26Z","timestamp":1632537266000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-67549-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675480","9783319675497"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67549-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"15 September 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"St. Petersburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 October 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ictss2017.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}