{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:24:36Z","timestamp":1758273876237},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,11,5]],"date-time":"2014-11-05T00:00:00Z","timestamp":1415145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s10009-014-0353-y","type":"journal-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T02:57:13Z","timestamp":1415069833000},"page":"305-318","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Model-based testing for concurrent systems: unfolding-based test selection"],"prefix":"10.1007","volume":"18","author":[{"given":"Hern\u00e1n","family":"Ponce de Le\u00f3n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Delphine","family":"Longuet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,5]]},"reference":[{"key":"353_CR1","doi-asserted-by":"crossref","unstructured":"Arapinis, M., Chothia, T., Ritter, E., Ryan, M.: Analysing unlinkability and anonymity using the applied pi calculus. In: IEEE Computer Security Foundations Symposium, pp. 107\u2013121. IEEE Computer Society (2010)","DOI":"10.1109\/CSF.2010.15"},{"key":"353_CR2","doi-asserted-by":"crossref","unstructured":"Biere, A., Heljanko, K., Junttila, T.A., Latvala, T., Schuppan, V.: Linear encodings of bounded LTL model checking. Log. Methods Comput. Sci. 2(5), 1\u201364 (2006)","DOI":"10.2168\/LMCS-2(5:5)2006"},{"key":"353_CR3","doi-asserted-by":"crossref","unstructured":"Bochmann, G.V., Haar, S., Jard, C., Jourdan, G.-V.: Testing systems specified as partial order input\/output automata. In: Testing of software and communicating systems, vol. 5047 of Lecture Notes in computer science, pp. 169\u2013183. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68524-1_13"},{"key":"353_CR4","doi-asserted-by":"crossref","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. In: Tools and algorithms for construction and analysis of Systems, vol. 1055 of Lecture Notes in computer science, pp. 87\u2013106. Springer, Berlin (1996)","DOI":"10.1007\/3-540-61042-1_40"},{"key":"353_CR5","doi-asserted-by":"crossref","unstructured":"Faivre, A., Gaston, C., Le Gall, P., Touil, A.: Test purpose concretization through symbolic action refinement. In: Testing of software and communicating systems, vol. 5047 of Lecture Notes in computer science, pp. 184\u2013199. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68524-1_14"},{"key":"353_CR6","doi-asserted-by":"crossref","unstructured":"Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose definition. In: Testing of software and communicating systems, vol. 3964 of Lecture Notes in computer science, pp. 1\u201318. Springer, Berlin (2006)","DOI":"10.1007\/11754008_1"},{"key":"353_CR7","doi-asserted-by":"crossref","unstructured":"Haar, S., Jard, C., Jourdan, G.-V.: Testing input\/output partial order automata. In: Testing of software and communicating systems, vol. 4581 of Lecture Notes in computer science, pp. 171\u2013185. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73066-8_12"},{"key":"353_CR8","doi-asserted-by":"crossref","unstructured":"Heerink, L., Tretmans, J.: Refusal testing for classes of transition systems with inputs and outputs. In: Formal description techniques for distributed systems and communication protocols, vol. 107 of IFIP Conference Proceedings, pp. 23\u201338. Chapman & Hall, London (1997)","DOI":"10.1007\/978-0-387-35271-8_2"},{"key":"353_CR9","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"key":"353_CR10","doi-asserted-by":"crossref","unstructured":"Henniger, O.: On test case generation from asynchronously communicating state machines. In: Testing of communicating systems, IFIP, pp. 255\u2013271. Springer, Berlin (1997)","DOI":"10.1007\/978-0-387-35198-8_16"},{"key":"353_CR11","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations for the distributed test architecture. In: Testing of software and communicating systems, vol. 5047 of Lecture Notes in computer science, pp. 200\u2013215. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68524-1_15"},{"issue":"12","key":"353_CR12","doi-asserted-by":"crossref","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. Inf. Softw. Technol. 45(12), 805\u2013814 (2003)","journal-title":"Inf. Softw. Technol."},{"key":"353_CR13","doi-asserted-by":"crossref","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. Int. J. Softw. Tools Technol. Transf. 7, 297\u2013315 (2005)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"353_CR14","doi-asserted-by":"crossref","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. Electron. Notes Theor. Comput. Sci. 240, 167\u2013184 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"5","key":"353_CR15","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/s00236-006-0023-y","volume":"43","author":"V Khomenko","year":"2006","unstructured":"Khomenko, V., Kondratyev, A., Koutny, M., Vogler, W.: Merged processes: a new condensed representation of Petri net behaviour. Acta Inf. 43(5), 307\u2013330 (2006)","journal-title":"Acta Inf."},{"issue":"3","key":"353_CR16","doi-asserted-by":"crossref","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. Form. Methods Syst. Design 34(3), 238\u2013304 (2009)","journal-title":"Form. Methods Syst. Design"},{"issue":"1\u20132\u20133","key":"353_CR17","first-page":"255","volume":"39","author":"G Lestiennes","year":"2005","unstructured":"Lestiennes, G., Gaudel, M.-C.: Test de syst\u00e8mes r\u00e9actifs non r\u00e9ceptifs. J. Eur. Syst. Auto. 39(1\u20132\u20133), 255\u2013270 (2005)","journal-title":"J. Eur. Syst. Auto."},{"key":"353_CR18","doi-asserted-by":"crossref","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. Theor. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"353_CR19","doi-asserted-by":"crossref","unstructured":"Peleska, J., Siegel, M.: From testing theory to test driver implementation. In: Formal Methods Europe, volume 1051 of Lecture Notes in computer science, pp. 538\u2013556. Springer, Berlin (1996)","DOI":"10.1007\/3-540-60973-3_106"},{"key":"353_CR20","doi-asserted-by":"crossref","unstructured":"Ponce de Le\u00f3n, H., Haar, S., Longuet, D.: Conformance relations for labeled event structures. In: Tests and Proofs, vol. 7305 of Lecture Notes in computer science, pp. 83\u201398. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30473-6_8"},{"key":"353_CR21","doi-asserted-by":"crossref","unstructured":"Ponce de Le\u00f3n, H., Haar, S., Longuet, D.: Unfolding-based test selection for concurrent conformance. In: International Conference on Testing software and systems, vol. 8254 of Lecture Notes in computer science, pp. 98\u2013113. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-41707-8_7"},{"issue":"2","key":"353_CR22","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1006\/inco.1997.2652","volume":"138","author":"S Roberto","year":"1997","unstructured":"Roberto, S.: Quiescence, fairness, testing, and the notion of implementation. Inf. Comput. 138(2), 194\u2013210 (1997)","journal-title":"Inf. Comput."},{"key":"353_CR23","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. Wiley, New York (1999)","edition":"1"},{"issue":"3","key":"353_CR24","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw Concepts Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw Concepts Tools"},{"key":"353_CR25","doi-asserted-by":"crossref","unstructured":"Ulrich, A., K\u00f6nig, H.: Specification-based testing of concurrent systems. In: Formal description techniques for distributed systems and communication protocols, vol. 107 of IFIP Conference Proceedings, pp. 7\u201322. Chapman & Hall, London (1998)","DOI":"10.1007\/978-0-387-35271-8_1"},{"key":"353_CR26","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Petri nets, morphisms and compositionality. In: Advances in Petri Nets. Lecture Notes in Computer Science, vol 222, pp. 453\u2013477. Springer, Berlin (1985)","DOI":"10.1007\/BFb0016226"}],"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-014-0353-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0353-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0353-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T20:20:49Z","timestamp":1565986849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0353-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,5]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["353"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0353-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,5]]}}}