{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T05:16:37Z","timestamp":1738300597271,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685142"},{"type":"electronic","value":"9783540685241"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68524-1_16","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T08:34:48Z","timestamp":1212654888000},"page":"216-233","source":"Crossref","is-referenced-by-count":21,"title":["Modular System Verification by Inference, Testing and Reachability Analysis"],"prefix":"10.1007","author":[{"given":"Roland","family":"Groz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keqin","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muzammil","family":"Shahbaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Huo, J., Petrenko, A.: Covering Transitions of Concurrent Systems through Queues. In: ISSRE, pp. 335\u2013345 (2005)"},{"issue":"3","key":"16_CR2","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"},{"issue":"3","key":"16_CR3","first-page":"219","volume":"2","author":"N. Lynch","year":"1989","unstructured":"Lynch, N., Tuttle, M.: An Introduction to Input\/output Automata. CWI-Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI-Quarterly"},{"key":"16_CR4","unstructured":"Luo, G., Bochmann, G.v., Petrenko, A.: Test Selection Based on Communicating Nondeterministic Finite State Machines Using a Generalized Wp-Method. IEEE Transactions on Software Engineering (February 1994)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"2","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation\u00a02, 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model Checking for Programming Languages Using VeriSoft. In: POPL, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-71876-5_7","volume-title":"Rapid Integration of Software Engineering Techniques","author":"A. Bertolino","year":"2007","unstructured":"Bertolino, A., Muccini, H., Polini, A.: Architectural Verification of Black-box Component-based Systems. In: Guelfi, N., Buchs, D. (eds.) RISE 2006. LNCS, vol.\u00a04401, pp. 98\u2013113. Springer, Heidelberg (2007)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Balcazar, J.L., Diaz, J., Gavalda, R.: Algorithms for learning finite automata from queries: A unified view. In: AALC, pp. 53\u201372 (1997)","DOI":"10.1007\/978-1-4613-3394-4_2"},{"key":"16_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","volume-title":"An introduction to Computational Learning Theory","author":"M.J. Kearns","year":"1994","unstructured":"Kearns, M.J., Vazirani, U.V.: An introduction to Computational Learning Theory. MIT Press, Cambridge (1994)"},{"key":"16_CR10","unstructured":"Li, K., Groz, R., Shahbaz, M.: Integration Testing of Components Guided by Incremental State Machine Learning. In: TAIC PART, pp. 231\u2013247 (2006)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Mariani, L., Pezz\u00e8, M.: Behavior Capture and Test: Automated Analysis of Component Integration. In: ICECCS, pp. 292\u2013301 (2005)","DOI":"10.1109\/ICECCS.2005.25"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Shahbaz, M., Li, K., Groz, R.: Learning and Integration of Parameterized Components Through Testing. In: TestCom, pp. 319\u2013334 (2007)","DOI":"10.1007\/978-3-540-73066-8_22"},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering Models of Software Processes from Event-Based Data. ACM Trans. Softw. Eng. Methodol.\u00a07(3), 215\u2013249 (1998)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"6","key":"16_CR14","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TC.1972.5009015","volume":"21","author":"A. Biermann","year":"1972","unstructured":"Biermann, A., Feldman, J.: On the Synthesis of Finite State Machines from Samples of their Behavior. IEEE Transactions on Computers\u00a021(6), 592\u2013597 (1972)","journal-title":"IEEE Transactions on Computers"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/11888116_30","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"E. Elkind","year":"2006","unstructured":"Elkind, E., Genest, B., Peled, D., Qu, H.: Grey-box Checking. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 420\u2013435. Springer, Heidelberg (2006)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N.: Solving Asynchronous Equations. In: FORTE, pp. 231\u2013247 (1998)","DOI":"10.1007\/978-0-387-35394-4_15"},{"issue":"1","key":"16_CR17","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s00165-005-0082-9","volume":"18","author":"H.H. Hallal","year":"2006","unstructured":"Hallal, H.H., Boroday, S., Petrenko, A., Ulrich, A.: A Formal Approach to Testing Properties in Causally Consistent Distributed Traces. Formal Aspects of Computing\u00a018(1), 63\u201383 (2006)","journal-title":"Formal Aspects of Computing"},{"key":"16_CR18","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.\u00a01633, pp. 108\u2013121. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68524-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T15:49:06Z","timestamp":1738252146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68524-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540685142","9783540685241"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68524-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}