{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:15:11Z","timestamp":1725754511482},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642417061"},{"type":"electronic","value":"9783642417078"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41707-8_7","type":"book-chapter","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T10:56:38Z","timestamp":1383130598000},"page":"98-113","source":"Crossref","is-referenced-by-count":8,"title":["Unfolding-Based Test Selection for Concurrent Conformance"],"prefix":"10.1007","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","reference":[{"issue":"3","key":"7_CR1","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"7_CR2","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. IFIP Conference Proceedings, vol.\u00a0107, pp. 23\u201338. Chapman & Hall (1997)","DOI":"10.1007\/978-0-387-35271-8_2"},{"issue":"1-2-3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"255","DOI":"10.3166\/jesa.39.255-270","volume":"39","author":"G. Lestiennes","year":"2005","unstructured":"Lestiennes, G., Gaudel, M.C.: Test de syst\u00e8mes r\u00e9actifs non r\u00e9ceptifs. Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s\u00a039(1-2-3), 255\u2013270 (2005)","journal-title":"Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-68524-1_14","volume-title":"Testing of Software and Communicating Systems","author":"A. Faivre","year":"2008","unstructured":"Faivre, A., Gaston, C., Le Gall, P., Touil, A.: Test purpose concretization through symbolic action refinement. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 184\u2013199. Springer, Heidelberg (2008)"},{"key":"7_CR5","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\u00a0240, 167\u2013184 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"3","key":"7_CR6","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\u00a034(3), 238\u2013304 (2009)","journal-title":"Formal Methods in System Design"},{"key":"7_CR7","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":"R.M. 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.\u00a05047, pp. 200\u2013215. Springer, Heidelberg (2008)"},{"key":"7_CR8","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press (1988)"},{"key":"7_CR9","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.\u00a01051, pp. 538\u2013556. Springer, Heidelberg (1996)"},{"key":"7_CR10","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"},{"key":"7_CR11","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. IFIP Conference Proceedings, vol.\u00a0107, pp. 7\u201322. Chapman & Hall (1998)","DOI":"10.1007\/978-0-387-35271-8_1"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-68524-1_13","volume-title":"Testing of Software and Communicating Systems","author":"G. Bochmann von","year":"2008","unstructured":"von Bochmann, G., Haar, S., Jard, C., Jourdan, G.-V.: Testing systems specified as partial order input\/output automata. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 169\u2013183. Springer, Heidelberg (2008)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-73066-8_12","volume-title":"Testing of Software and Communicating Systems","author":"S. Haar","year":"2007","unstructured":"Haar, S., Jard, C., Jourdan, G.-V.: Testing input\/output partial order automata. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom\/FATES 2007. LNCS, vol.\u00a04581, pp. 171\u2013185. Springer, Heidelberg (2007)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-30473-6_8","volume-title":"Tests and Proofs","author":"H. Ponce de Le\u00f3n","year":"2012","unstructured":"Ponce de Le\u00f3n, H., Haar, S., Longuet, D.: Conformance relations for labeled event structures. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol.\u00a07305, pp. 83\u201398. Springer, Heidelberg (2012)"},{"key":"7_CR15","unstructured":"Ponce de Le\u00f3n, H., Haar, S., Longuet, D.: Model-based testing for concurrent systems with labeled event structures (2012), \n                    \n                      http:\/\/hal.inria.fr\/hal-00796006"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Esparza","year":"1996","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 87\u2013106. Springer, Heidelberg (1996)"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1006\/inco.1997.2652","volume":"138","author":"R. Segala","year":"1997","unstructured":"Segala, R.: Quiescence, fairness, testing, and the notion of implementation. Information and Computation\u00a0138(2), 194\u2013210 (1997)","journal-title":"Information and Computation"},{"key":"7_CR18","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\u00a07, 297\u2013315 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"7_CR19","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\u00a013, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Petri nets, morphisms and compositionality. In: Applications and Theory in Petri Nets, pp. 453\u2013477 (1985)","DOI":"10.1007\/BFb0016226"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11754008_1","volume-title":"Testing of Communicating Systems","author":"C. Gaston","year":"2006","unstructured":"Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose definition. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 1\u201318. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41707-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T02:04:18Z","timestamp":1558663458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41707-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642417061","9783642417078"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41707-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}