{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T01:27:10Z","timestamp":1659317230174},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3-4","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":["Ann. Telecommun."],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s12243-014-0449-0","type":"journal-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T02:40:09Z","timestamp":1415068809000},"page":"107-125","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Integration testing of communicating systems with unknown components"],"prefix":"10.1007","volume":"70","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"}]}],"member":"297","published-online":{"date-parts":[[2014,11,5]]},"reference":[{"key":"449_CR1","first-page":"174","volume-title":"Model checking for programming languages using VeriSoft, In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","author":"P Godefroid","year":"1997","unstructured":"Godefroid P (1997) Model checking for programming languages using VeriSoft, In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM Press, New York, pp 174\u2013186"},{"key":"449_CR2","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg O, Peled D (1999) Model checking. MIT Press, Cambridge"},{"key":"449_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","volume-title":"An introduction to computational learning theory","author":"MJ Kearns","year":"1994","unstructured":"Kearns MJ, Vazirani UV (1994) An introduction to computational learning theory. MIT Press, Cambridge"},{"key":"449_CR4","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1007\/BF01068590","volume":"9","author":"MP Vasilevskii","year":"1973","unstructured":"Vasilevskii MP (1973) Failure diagnosis of automata. Cybern Syst Anal 9:653\u2013665","journal-title":"Cybern Syst Anal"},{"issue":"4","key":"449_CR5","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1090\/S0002-9939-1958-0135681-9","volume":"9","author":"A Nerode","year":"1958","unstructured":"Nerode A (1958) Linear automaton transformations. Proc Am Math Soc 9(4):541\u2013544","journal-title":"Proc Am Math Soc"},{"issue":"6","key":"449_CR6","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1109\/TC.1972.5009015","volume":"21","author":"A Biermann","year":"1972","unstructured":"Biermann A, Feldman J (1972) On the synthesis of finite state machines from samples of their behavior. IEEE Trans Comput 21(6):592\u2013597","journal-title":"IEEE Trans Comput"},{"key":"449_CR7","unstructured":"Groz R, Li K, Petrenko A verification of modular systems with unknown components combining testing and inference. Research Report RR-LIG-028. LIG laboratory. http:\/\/rr.liglab.fr\/research_report\/RR-LIG-028.pdf"},{"key":"449_CR8","unstructured":"Trakhtenbrot BA, Barzdin YM (1973) Finite automata, behaviour and synthesis. North-Holland"},{"key":"449_CR9","unstructured":"EU FP7 Project no. 257876, SPaCIoS: Secure Provision and Consumption in the Internet of Services ( www.spacios.eu )"},{"key":"449_CR10","doi-asserted-by":"crossref","unstructured":"Hossen K, Richier J.-L, Oriat C, Groz R (2013) Automatic generation of test drivers for model inference of web applications, in SECTEST 2013 in association with ICST. IEEE","DOI":"10.1109\/ICSTW.2013.57"},{"key":"449_CR11","doi-asserted-by":"crossref","unstructured":"Peled D, Vardi MY, Yannakakis M (1999) Black Box Checking, In Proceedings of 12th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), pp 225\u2013240","DOI":"10.1007\/978-0-387-35578-8_13"},{"key":"449_CR12","doi-asserted-by":"crossref","unstructured":"Balcazar JL, Diaz J, Gavalda R (1997) Algorithms for learning finite automata from queries: a unified view. In Advances in Algorithms, Languages, and Complexity, Kluwer, pp 53\u201372","DOI":"10.1007\/978-1-4613-3394-4_2"},{"key":"449_CR13","doi-asserted-by":"crossref","unstructured":"de la Higuera C (2010) Grammatical inference: learning automata and grammars, Cambridge University Press","DOI":"10.1017\/CBO9781139194655"},{"key":"449_CR14","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"2","author":"D Angluin","year":"1987","unstructured":"Angluin D (1987) Learning regular sets from queries and counterexamples. Inf Comput 2:87\u2013106","journal-title":"Inf Comput"},{"key":"449_CR15","unstructured":"Howar F, Steffen B, Merten M (2010) From ZULU to RERS, lessons learned in the ZULU challenge. ISoLA, pp 687\u2013704"},{"issue":"3","key":"449_CR16","doi-asserted-by":"crossref","first-page":"79","DOI":"10.5381\/jot.2010.9.3.a3","volume":"9","author":"S Rajiv Ranjan","year":"2010","unstructured":"Rajiv Ranjan S, Rajib M, Srihari S, Manoranjan S (2010) Extracting state models for black-Box software components. J Object Technol 9(3):79\u2013103","journal-title":"J Object Technol"},{"key":"449_CR17","doi-asserted-by":"crossref","unstructured":"Howar F, Isberner M, Merten M, Steffen B (2012) LearnLib tutorial: from Finite Automata to Register Interface Programs. ISoLA, pp 587\u2013590","DOI":"10.1007\/978-3-642-34026-0_43"},{"key":"449_CR18","doi-asserted-by":"crossref","unstructured":"PetrenkoA, Li K, Groz R, Hossen K, Oriat C (2014) Inferring approximated models for systems engineering, HASE, pp 249\u2013253","DOI":"10.1109\/HASE.2014.46"},{"issue":"1","key":"449_CR19","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/stvr.396","volume":"19","author":"J Huo","year":"2009","unstructured":"Huo J, Petrenko A (2009) Transition covering tests for systems with queues. Softw Test Verification Reliab 19(1):55\u201383","journal-title":"Softw Test Verification Reliab"},{"issue":"3","key":"449_CR20","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans J (1996) Test generation with inputs outputs and repetitive quiescence. Softw Concepts Tools 17(3):103\u2013120","journal-title":"Softw Concepts Tools"},{"issue":"3","key":"449_CR21","first-page":"219","volume":"2","author":"N Lynch","year":"1989","unstructured":"Lynch N, Tuttle M (1989) An introduction to input\/output automata. CWI-Q 2(3):219\u2013246","journal-title":"CWI-Q"},{"issue":"4","key":"449_CR22","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"28","author":"P Zafiropulo","year":"1980","unstructured":"Zafiropulo P, West C, Rudin H, Cowan D, Brand D (1980) Towards analyzing and synthesizing protocols. IEEE Trans Commun 28(4):651\u2013661","journal-title":"IEEE Trans Commun"},{"key":"449_CR23","doi-asserted-by":"crossref","unstructured":"Clarke E, Grumberg O, Jha S, Lu Y, Veith H (2000) Counterexample-guided abstraction refinement. In: CAV. Volume 1855 of LNCS, Springer, 154\u2013169","DOI":"10.1007\/10722167_15"},{"key":"449_CR24","doi-asserted-by":"crossref","unstructured":"Clarke E, Gupta A, Kukula J, Strichman O (2002) Sat based abstraction-refinement using ilp and machine learning techniques. In: CAV. LNCS, Springer","DOI":"10.1007\/3-540-45657-0_20"},{"key":"449_CR25","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/PGEC.1965.264140","volume":"3","author":"A Grasselli","year":"1965","unstructured":"Grasselli A, Fabrizio L (1965) A method for minimizing the number of internal states in incompletely specified sequential networks. Electron Comput IEEE Trans 3:350\u2013359","journal-title":"Electron Comput IEEE Trans"},{"issue":"3","key":"449_CR26","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1109\/T-C.1971.223241","volume":"100","author":"J Kella","year":"1971","unstructured":"Kella J (1971) Sequential machine identification. Comput IEEE Trans 100(3):332\u2013338","journal-title":"Comput IEEE Trans"},{"issue":"1","key":"449_CR27","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0169-7552(96)00019-0","volume":"29","author":"A Petrenko","year":"1996","unstructured":"Petrenko A, Bochmann G v, Yao M (1996) On fault coverage of tests for finite state specifications. Comput Netw ISDN Syst 29(1):81\u2013106","journal-title":"Comput Netw ISDN Syst"},{"key":"449_CR28","unstructured":"Oliveira Arlindo L, Stephen A (1995) Edwards. Inference of state machines from examples of behavior, UCB\/ERL Tech. Rep. M 95"},{"issue":"5","key":"449_CR29","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann GJ (1997) The model checker SPIN. IEEE Trans Software Eng 23(5):279\u2013295","journal-title":"IEEE Trans Software Eng"},{"key":"449_CR30","doi-asserted-by":"crossref","unstructured":"Andrews T, Qadeer S, Rajamani SK, Rehof J, Xie ZingY A model checker for concurrent software, MSR Technical Report: MSR-TR-2004-10","DOI":"10.1007\/978-3-540-27813-9_42"},{"key":"449_CR31","doi-asserted-by":"crossref","unstructured":"Elkind E, Genest B, Peled D, QuH (2006) Grey-box checking. In Proceedings of 26th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), pp 420\u2013435","DOI":"10.1007\/11888116_30"},{"issue":"3","key":"449_CR32","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"JE Cook","year":"1998","unstructured":"Cook JE, Wolf AL (1998) Discovering models of software processes from event-based data. ACM Trans Softw Eng Methodol 7(3):215\u2013249","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"3","key":"449_CR33","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10703-008-0049-6","volume":"32","author":"CS Pasareanu","year":"2008","unstructured":"Pasareanu CS, Giannakopoulou D, Bobaru MG, Cobleigh JM, Barringer H (2008) Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Form Methods Syst Des 32(3):175\u2013205","journal-title":"Form Methods Syst Des"},{"issue":"1","key":"449_CR34","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s00165-005-0082-9","volume":"18","author":"HH Hallal","year":"2006","unstructured":"Hallal HH, Boroday S, Petrenko A, Ulrich A (2006) A formal approach to testing properties in causally consistent distributed traces. Form Asp Comput 18(1):63\u201383","journal-title":"Form Asp Comput"},{"key":"449_CR35","doi-asserted-by":"crossref","unstructured":"Mariani L, Pezz\u00e8 M (2005) Behavior capture and test: automated analysis of component integration. In Proceedings of 10th International Conference on Engineering of Complex Computer Systems (ICECCS), pp 292\u2013301","DOI":"10.1109\/ICECCS.2005.25"},{"key":"449_CR36","doi-asserted-by":"crossref","unstructured":"Bertolino A, Muccini H, Polini A (2006) Architectural verification of black-box component-based systems. In Proceedings of the 3rd International Workshop on Rapid Integration of Software Engineering Techniques (RISE), LNCS 4401, pp 98\u2013113","DOI":"10.1007\/978-3-540-71876-5_7"},{"key":"449_CR37","unstructured":"Li K, Groz R, Shahbaz M (2006) Integration testing of components guided by incremental state machine learning. In Proceedings of Testing: Academia and Industry Conference\u2014Practice and Research Techniques (TAIC PART), pp 231\u2013247"},{"key":"449_CR38","doi-asserted-by":"crossref","unstructured":"Shahbaz M, Li K, Groz R (2007) learning and integration of parameterized components through testing. In Proceedings of 19th IFIP International Conference on Testing of Software and Communication Systems (TestCom), pages 319\u2013334","DOI":"10.1007\/978-3-540-73066-8_22"},{"key":"449_CR39","author":"M Shahbaz","year":"2013","unstructured":"Shahbaz M, Groz R (2013) Analysis and testing of black-box component-based systems by inferring partial models. J Softw Test Verification Reliab. doi: 10.1002\/stvr.1491","journal-title":"J Softw Test Verification Reliab"},{"key":"449_CR40","unstructured":"Groz R, Li K, Petrenko A, Shahbaz M (2008) modular system verification by inference, testing and reachability analysis, In Proceedings of 20th IFIP International Conference on Testing of Software and Communication Systems (TestCom), pp. 216\u2013233"},{"key":"449_CR41","doi-asserted-by":"crossref","unstructured":"Petrenko A, Yevtushenko N (1998) Solving asynchronous equations. In Proceedings of 11th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), pp 231\u2013247","DOI":"10.1007\/978-0-387-35394-4_15"}],"container-title":["annals of telecommunications - annales des t\u00e9l\u00e9communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12243-014-0449-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12243-014-0449-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12243-014-0449-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T20:20:04Z","timestamp":1565986804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12243-014-0449-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,5]]},"references-count":41,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["449"],"URL":"https:\/\/doi.org\/10.1007\/s12243-014-0449-0","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,5]]}}}