{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:16:12Z","timestamp":1742951772405,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319212142"},{"type":"electronic","value":"9783319212159"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-21215-9_2","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T13:36:34Z","timestamp":1437053794000},"page":"19-37","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Test Case Generation for Concurrent Systems Using Event Structures"],"prefix":"10.1007","author":[{"given":"Konstantinos","family":"Athanasiou","sequence":"first","affiliation":[]},{"given":"Hern\u00e1n","family":"Ponce-de-Le\u00f3n","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Schwoon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"2_CR1","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.) FORTEST. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Heerink, L., Tretmans, J.: Refusal testing for classes of transition systems with inputs and outputs. In: Proc. FORTE. IFIP, vol. 107, pp. 23\u201338 (1997)","key":"2_CR2","DOI":"10.1007\/978-0-387-35271-8_2"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.entcs.2009.05.051","volume":"240","author":"T J\u00e9ron","year":"2009","unstructured":"J\u00e9ron, T.: Symbolic model-based test selection. Electronic Notes in Theoretical Computer Science 240, 167\u2013184 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/s10703-009-0065-1","volume":"34","author":"M Krichen","year":"2009","unstructured":"Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Formal Methods in System Design 34(3), 238\u2013304 (2009)","journal-title":"Formal Methods in System Design"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-68524-1_15","volume-title":"Testing of Software and Communicating Systems","author":"RM Hierons","year":"2008","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations for the distributed test architecture. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol. 5047, pp. 200\u2013215. Springer, Heidelberg (2008)"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer 7(4), 297\u2013315 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"unstructured":"Hennessy, M.: Algebraic theory of processes. MIT Press series in the foundations of computing. MIT Press (1988)","key":"2_CR7"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1007\/3-540-60973-3_106","volume-title":"FME \u201996: Industrial Benefit and Advances in Formal Methods","author":"J Peleska","year":"1996","unstructured":"Peleska, J., Siegel, M.: From testing theory to test driver implementation. In: Gaudel, M.-C., Wing, J.M. (eds.) FME 1996. LNCS, vol. 1051, pp. 538\u2013556. Springer, Heidelberg (1996)"},{"key":"2_CR9","volume-title":"Concurrent and Real Time Systems: The CSP Approach","author":"S Schneider","year":"1999","unstructured":"Schneider, S.: Concurrent and Real Time Systems: The CSP Approach, 1st edn. John Wiley & Sons Inc., New York (1999)","edition":"1"},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. Formal Methods in System Design 20(3), 285\u2013310 (2002)","journal-title":"Formal Methods in System Design"},{"key":"2_CR11","doi-asserted-by":"publisher","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. Proceedings of the IEEE 84, 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"doi-asserted-by":"crossref","unstructured":"Jourdan, G., von Bochmann, G.: On testing 1-safe petri nets. In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, July 29\u201331, 2009, Tianjin, China, pp. 275\u2013281 (2009)","key":"2_CR12","DOI":"10.1109\/TASE.2009.20"},{"unstructured":"von Bochmann, G., Jourdan, G.: Testing k-safe petri nets. In: Testing of Softwareand Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, November 2\u20134, Eindhoven, The Netherlands, pp. 33\u201348 (2009)","key":"2_CR13"},{"issue":"12","key":"2_CR14","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1016\/S0950-5849(03)00061-2","volume":"45","author":"C Jard","year":"2003","unstructured":"Jard, C.: Synthesis of distributed testers from true-concurrency models of reactive systems. Information & Software Technology 45(12), 805\u2013814 (2003)","journal-title":"Information & Software Technology"},{"doi-asserted-by":"crossref","unstructured":"Ulrich, A., K\u00f6nig, H.: Specification-based testing of concurrent systems. In: Proc. FORTE. IFIP Conference Proceedings, vol. 107, pp. 7\u201322 (1997)","key":"2_CR15","DOI":"10.1007\/978-0-387-35271-8_1"},{"doi-asserted-by":"crossref","unstructured":"Ponce de Le\u00f3n, H., Haar, S., Longuet, D.: Model-based testing for concurrent systems with labeled event structures. STVR 24(7), 558\u2013590 (2014)","key":"2_CR16","DOI":"10.1002\/stvr.1543"},{"doi-asserted-by":"crossref","unstructured":"Henniger, O.: On test case generation from asynchronously communicating state machines. In: International Workshop on Testing Communicating Systems. IFIP Conference Proceedings, pp. 255\u2013271. Springer (1997)","key":"2_CR17","DOI":"10.1007\/978-0-387-35198-8_16"},{"doi-asserted-by":"crossref","unstructured":"K\u00e4hk\u00f6nen, K., Saarikivi, O., Heljanko, K.: Using unfoldings in automated testing of multithreaded programs. In: IEEE\/ACM International Conference on Automated Software Engineering, ASE 2012, September 3\u20137, Essen, Germany, pp. 150\u2013159 (2012)","key":"2_CR18","DOI":"10.1145\/2351676.2351698"},{"unstructured":"Schwoon, S.: The MOLE unfolding tool. http:\/\/www.lsv.ens-cachan.fr\/~schwoon\/tools\/mole\/","key":"2_CR19"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theoretical Computer Science 13, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-642-41707-8_7","volume-title":"Testing Software and Systems","author":"H Ponce de Le\u00f3n","year":"2013","unstructured":"Ponce de Le\u00f3n, H., Haar, S., Longuet, D.: Unfolding-Based test selection for concurrent conformance. In: Yenig\u00fcn, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 98\u2013113. Springer, Heidelberg (2013)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer Aided Verification","author":"T J\u00e9ron","year":"1999","unstructured":"J\u00e9ron, T., Morel, P.: Test generation derived from model-checking. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 108\u2013121. Springer, Heidelberg (1999)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/978-3-319-10882-7_22","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2014","author":"H Ponce-de-Le\u00f3n","year":"2014","unstructured":"Ponce-de-Le\u00f3n, H., Haar, S., Longuet, D.: Distributed testing of concurrent systems: vector clocks to the rescue. In: Ciobanu, G., M\u00e9ry, D. (eds.) ICTAC 2014. LNCS, vol. 8687, pp. 369\u2013387. Springer, Heidelberg (2014)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-12002-2_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Belinfante","year":"2010","unstructured":"Belinfante, A.: JTorX: a tool for on-line model-driven test derivation and execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 266\u2013270. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21215-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T04:15:25Z","timestamp":1675138525000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21215-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319212142","9783319212159"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21215-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}