{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T01:05:15Z","timestamp":1770339915785,"version":"3.49.0"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,11,19]],"date-time":"2014-11-19T00:00:00Z","timestamp":1416355200000},"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":["Form Methods Syst Des"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10703-014-0216-x","type":"journal-article","created":{"date-parts":[[2014,11,21]],"date-time":"2014-11-21T16:01:30Z","timestamp":1416585690000},"page":"1-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":41,"title":["Generating models of infinite-state communication protocols using regular inference with abstraction"],"prefix":"10.1007","volume":"46","author":[{"given":"Fides","family":"Aarts","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Uijen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,19]]},"reference":[{"key":"216_CR1","doi-asserted-by":"crossref","unstructured":"Aarts F, Heidarian F, Kuppens H, Olsen P, Vaandrager FW (2012) Automata learning through counterexample-guided abstraction refinement. In: Giannakopoulou D, M\u00e9ry D (eds) 18th international symposium on formal methods (FM 2012), Paris, France, August 27\u201331, 2012. Proceedings, volume 7436 of lecture notes in computer science. Springer, Berlin, pp 10\u201327. August","DOI":"10.1007\/978-3-642-32759-9_4"},{"key":"216_CR2","unstructured":"Aarts F, Heidarian F, Vaandrager FW (2012) A theory of abstractions for learning interface automata. In: Koutny M, Ulidowski I (eds) 23rd international conference on concurrency theory (CONCUR), Newcastle upon Tyne, UK, September 3\u20138, 2012. Proceedings, volume 7454 of lecture notes in computer science. Springer, Berlin, pp 240\u2013255"},{"key":"216_CR3","doi-asserted-by":"crossref","unstructured":"Aarts F, Jonsson B, Uijen J (2010) Generating models of infinite-state communication protocols using regular inference with abstraction. In: Petrenko A, Maldonado JC, Simao A (eds) 22nd IFIP international conference on testing software and systems, Natal, Brazil, November 8\u201310, Proceedings, volume 6435 of lecture notes in computer science. Springer, Berlin, pp 188\u2013204","DOI":"10.1007\/978-3-642-16573-3_14"},{"key":"216_CR4","unstructured":"Aarts F, Kuppens H, Tretmans GJ, Vaandrager FW, Verwer S (2012) Learning and testing the bounded retransmission protocol. In: Heinz J, de la Higuera C, and Oates T (eds) Proceedings 11th international conference on grammatical inference (ICGI 2012), September 5\u20138, 2012. University of Maryland, College Park, USA, volume 21 of JMLR workshop and conference proceedings, pp 4\u201318"},{"key":"216_CR5","doi-asserted-by":"crossref","unstructured":"Aarts F, Schmaltz J, Vaandrager FW (2010) Inference and abstraction of the biometric passport. In: Margaria T, Steffen B (eds) Leveraging applications of formal methods, verification, and balidation\u20144th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18\u201321, 2010, Proceedings, part I, volume 6415 of lecture notes in computer science. Springer, Berlin, pp 673\u2013686","DOI":"10.1007\/978-3-642-16558-0_54"},{"key":"216_CR6","doi-asserted-by":"crossref","unstructured":"Ammons G, Bodik R, Larus J (2002) Mining specifications. In: Proceedings of 29th ACM symposium on principles of programming languages, pp 4\u201316","DOI":"10.1145\/503272.503275"},{"issue":"2","key":"216_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin D (1987) Learning regular sets from queries and counterexamples. Inf Comput 75(2):87\u2013106","journal-title":"Inf Comput"},{"key":"216_CR8","doi-asserted-by":"crossref","unstructured":"Ball T, Rajamani SK (2002) The SLAM project: debugging system software via static analysis. In: Proceedings of the 29th ACM symposium on principles of programming languages, pp 1\u20133","DOI":"10.1145\/503272.503274"},{"key":"216_CR9","doi-asserted-by":"crossref","unstructured":"Berg T, Jonsson B, Raffelt H (2006) Regular inference for state machines with parameters. In: Baresi L, Heckel R (eds) FASE, volume 3922 of lecture notes in computer science. Springer, Berlin, pp 107\u2013121","DOI":"10.1007\/11693017_10"},{"key":"216_CR10","unstructured":"Bergstra JA, Ponse A, Smolka SA (2001) editors. Handbook of process algebra. North-Holland"},{"key":"216_CR11","doi-asserted-by":"crossref","unstructured":"Broy M, Jonsson B, Katoen J-P, Leucker M, Pretschner A (2004) editors. Model-based testing of reactive systems, volume 3472 of lecture notes in computer science. Springer, Berlin","DOI":"10.1007\/b137241"},{"key":"216_CR12","unstructured":"Brun Y, Ernst MD (2004) Finding latent code errors via machine learning over program executions. In: ICSE\u201904: 26th international conference on software enginering"},{"key":"216_CR13","doi-asserted-by":"crossref","unstructured":"Cassel S, Howar F, Jonsson B, Merten M, Steffen B (2011) A succinct canonical register automaton model. In: Bultan T, Hsiung P-A (eds) Automated technology for verification and analysis, 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11\u201314, 2011. In: Bultan T, Hsiung P-A (eds) Proceedings, volume 6996 of lecture notes in computer science. Springer, Berlin, pp 366\u2013380","DOI":"10.1007\/978-3-642-24372-1_26"},{"key":"216_CR14","unstructured":"Yuan CC, Domagoj B, ECR Shin, Song Dawn (2010) Inference and analysis of formal models of botnet command and control protocols. In: Al-Shaer E, Keromytis AD, and Shmatikov V (eds) ACM conference on computer and communications security. ACM, pp 426\u2013439"},{"issue":"5","key":"216_CR15","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"EM Clarke","year":"2003","unstructured":"Clarke EM, Grumberg O, Jha S, Lu Y, Veith H (2003) Counterexample-guided abstraction refinement for symbolic model checking. J ACM 50(5):752\u2013794","journal-title":"J ACM"},{"key":"216_CR16","doi-asserted-by":"crossref","unstructured":"Cobleigh JM, Giannakopoulou D, Pasareanu CS (2003) Learning assumptions for compositional verification. In: Proceedings of the TACAS \u201903, 9th international conference on tools and algorithms for the construction and analysis of systems, volume 2619 of lecture notes in computer science. Springer, Berlin, pp 331\u2013346","DOI":"10.1007\/3-540-36577-X_24"},{"key":"216_CR17","doi-asserted-by":"crossref","unstructured":"Fiter\u0103u-Bro\u015ftean P, Janssen R, Vaandrager FW (2014) Learning fragments of the TCP network protocol. In: Lang F, Flammini F (eds) Proceedings 19th international workshop on formal methods for industrial critical systems (FMICS\u201914), Florence, Italy, volume 8718 of lecture notes in computer science. Springer, Berlin, pp 78\u201393","DOI":"10.1007\/978-3-319-10702-8_6"},{"key":"216_CR18","volume-title":"Proceedings CONCUR 93, Hildesheim, Germany, volume 715 of lecture notes in computer science","author":"RJ Glabbeek van","year":"1993","unstructured":"van Glabbeek RJ (1993) The linear time\u2014branching time spectrum II (the semantics of sequential systems with silent moves). In: Best E (ed) Proceedings CONCUR 93, Hildesheim, Germany, volume 715 of lecture notes in computer science. Springer, Berlin"},{"issue":"5","key":"216_CR19","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold EM (1967) Language identification in the limit. Inf Control 10(5):447\u2013474","journal-title":"Inf Control"},{"issue":"1","key":"216_CR20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/stvr.427","volume":"21","author":"W Grieskamp","year":"2011","unstructured":"Grieskamp W, Kicillof N, Stobie K, Braberman V (2011) Model-based quality assurance of protocol documentation: tools and methodology. Softw Test Verif Reliab 21(1):55\u201371","journal-title":"Softw Test Verif Reliab"},{"key":"216_CR21","unstructured":"Grinchtein O (2008) Learning of timed systems. PhD thesis, Dept. of IT, Uppsala University, Sweden"},{"key":"216_CR22","doi-asserted-by":"crossref","unstructured":"Grinchtein O, Jonsson B, Leucker M (2004) Learning of event-recording automata. In: Proceedings of the joint conferences FORMATS and FTRTFT, volume 3253 of LNCS, pp 379\u2013396","DOI":"10.1007\/978-3-540-30206-3_26"},{"key":"216_CR23","doi-asserted-by":"crossref","unstructured":"Groce A, Peled D, Yannakakis M (2002) Adaptive model checking. In: Katoen J-P, Stevens P (eds) Proceedings of the TACAS \u201902, 8th international conference on tools and algorithms for the construction and analysis of systems, volume 2280 of lecture notes in computer science. Springer, Berlin, pp 357\u2013370","DOI":"10.1007\/3-540-46002-0_25"},{"key":"216_CR24","doi-asserted-by":"crossref","unstructured":"Groz R, Li K, Petrenko A, Shahbaz M (2008) Modular system verification by inference, testing and reachability analysis. In: TestCom\/FATES, volume 5047 of lecture notes in computer science, pp 216\u2013233","DOI":"10.1007\/978-3-540-68524-1_16"},{"key":"216_CR25","doi-asserted-by":"crossref","unstructured":"Grumberg O, Veith H (eds) (2008) 25 years of model checking: history, achievements, perspectives, volume 5000 of lecture notes in computer science. Springer, Berlin","DOI":"10.1007\/978-3-540-69850-0"},{"key":"216_CR26","doi-asserted-by":"crossref","unstructured":"Hagerer A, Hungar H, Niese O, Steffen B (2002) Model generation by moderated regular extrapolation. In: Kutsche R-D, Weber H (eds) Proceedings of the FASE \u201902, 5th international conference on fundamental approaches to software engineering, volume 2306 of lecture notes in computer science. Springer, Berlin, pp 80\u201395","DOI":"10.1007\/3-540-45923-5_6"},{"key":"216_CR27","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Jhala R, Majumdar R, Sutre G (2002) Lazy abstraction. In: Proceedings of the 29th ACM symposium on principles of programming languages, pp 58\u201370","DOI":"10.1145\/503272.503279"},{"key":"216_CR28","doi-asserted-by":"crossref","unstructured":"Howar F, Isberner M, Steffen B, Bauer O, Jonsson B (2012) Inferring semantic interfaces of data structures. In: ISoLA (1): leveraging applications of formal methods, verification and validation. Technologies for mastering change\u20145th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15\u201318, 2012, Proceedings, part I, volume 7609 of lecture notes in computer science. Springer, Berlin, pp 554\u2013571","DOI":"10.1007\/978-3-642-34026-0_41"},{"key":"216_CR29","doi-asserted-by":"crossref","unstructured":"Howar F, Steffen B, Merten M (2011) Automata learning with automated alphabet abstraction refinement. In: VMCAI, volume 6538 of lecture notes in computer science. Springer, Berlin, pp 263\u2013277","DOI":"10.1007\/978-3-642-18275-4_19"},{"key":"216_CR30","doi-asserted-by":"crossref","unstructured":"Huima A (2007) Implementing conformiq qtronic. In: Petrenko A, Veanes M, Tretmans J, and Grieskamp W (eds) Proceedings of the TestCom\/FATES, Tallinn, Estonia, June, 2007, volume 4581 of lecture notes in computer science, pp 1\u201312","DOI":"10.1007\/978-3-540-73066-8_1"},{"key":"216_CR31","doi-asserted-by":"crossref","unstructured":"Hungar H, Niese O, Steffen B (2003) Domain-specific optimization in automata learning. In: Proceedings of the 15th international conference on computer aided verification","DOI":"10.1007\/978-3-540-45069-6_31"},{"key":"216_CR32","unstructured":"Janssen R (2013) Learning a state diagram of TCP using abstraction. Bachelor thesis, ICIS, Radboud University Nijmegen"},{"issue":"2","key":"216_CR33","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/174662.174665","volume":"16","author":"B Jonsson","year":"1994","unstructured":"Jonsson B (1994) Compositional specification and verification of distributed systems. ACM Trans Progr Lang Syst 16(2):259\u2013303","journal-title":"ACM Trans Progr Lang Syst"},{"key":"216_CR34","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, MA"},{"key":"216_CR35","doi-asserted-by":"crossref","unstructured":"Li K, Groz R, Shahbaz M (2006) Integration testing of distributed components based on learning parameterized I\/O models. In: Najm E, Pradat-Peyre J-F, Donzeau-Gouge V (eds) FORTE, volume 4229 of lecture notes in computer science, pp 436\u2013450","DOI":"10.1007\/11888116_31"},{"issue":"1","key":"216_CR36","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/BF01384313","volume":"6","author":"C Loiseaux","year":"1995","unstructured":"Loiseaux C, Graf S, Sifakis J, Bouajjani A, Bensalem S (1995) Property preserving abstractions for the verification of concurrent systems. Form Methods Syst Des 6(1):11\u201344","journal-title":"Form Methods Syst Des"},{"key":"216_CR37","doi-asserted-by":"crossref","unstructured":"Lorenzoli D, Mariani L, Pezz\u00e8 M (2008) Automatic generation of software behavioral models. In: Proceedings of the ICSE\u201908: 30th international conference on software enginering, pp 501\u2013510","DOI":"10.1145\/1368088.1368157"},{"issue":"5","key":"216_CR38","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/MS.2007.138","volume":"24","author":"L Mariani","year":"2007","unstructured":"Mariani L, Pezz M (2007) Dynamic detection of COTS components incompatibility. IEEE Softw 24(5):76\u201385","journal-title":"IEEE Softw"},{"key":"216_CR39","doi-asserted-by":"crossref","unstructured":"Merten M, Howar F, Steffen B, Cassel S, Jonsson B (2012) Demonstrating learning of register automata. In: Flanagan C, K\u00f6nig B (eds) Tools and algorithms for the construction and analysis of systems\u201418th international conference, TACAS 2012, Held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24\u2013April 1, 2012. Proceedings, volume 7214 of lecture notes in computer science. Springer, Berlin, pp 466\u2013471","DOI":"10.1007\/978-3-642-28756-5_32"},{"key":"216_CR40","first-page":"220","volume-title":"TACAS, volume 6605 of lecture notes in computer science","author":"M Merten","year":"2011","unstructured":"Merten M, Steffen B, Howar F, Margaria T (2011) Next generation LearnLib. In: Abdulla PA, Leino KRM (eds) TACAS, volume 6605 of lecture notes in computer science. Springer, Berlin, pp 220\u2013223"},{"key":"216_CR41","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall, Englewood Cliffs, NJ"},{"issue":"2","key":"216_CR42","first-page":"269","volume":"23","author":"M Mohri","year":"1997","unstructured":"Mohri M (1997) Finite-state transducers in language and speech processing. Comput Linguist 23(2):269\u2013311","journal-title":"Comput Linguist"},{"key":"216_CR43","unstructured":"Niese O (2003) An integrated approach to testing complex systems. Technical report, Dortmund University, Doctoral thesis"},{"key":"216_CR44","unstructured":"The Network Simulator NS-2. http:\/\/www.isi.edu\/nsnam\/ns\/"},{"key":"216_CR45","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-0-387-35578-8_13","volume-title":"Formal methods for protocol engineering and distributed systems, FORTE\/PSTV","author":"D Peled","year":"1999","unstructured":"Peled D, Vardi MY, Yannakakis M (1999) Black box checking. In: Wu J, Chanson ST, Gao Q (eds) Formal methods for protocol engineering and distributed systems, FORTE\/PSTV. Kluwer, Beijing, pp 225\u2013240"},{"key":"216_CR46","doi-asserted-by":"crossref","unstructured":"J. Postel (ed) (1981) Transmission control protocol\u2014DARPA internet program protocol specification (RFC 3261), September 1981. http:\/\/www.ietf.org\/rfc\/rfc793.txt","DOI":"10.17487\/rfc0793"},{"issue":"5","key":"216_CR47","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s10009-009-0111-8","volume":"11","author":"H Raffelt","year":"2009","unstructured":"Raffelt H, Steffen B, Berg T, Margaria T (2009) LearnLib: a framework for extrapolating behavioral models. STTT 11(5):393\u2013407","journal-title":"STTT"},{"key":"216_CR48","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1006\/inco.1993.1021","volume":"103","author":"RL Rivest","year":"1993","unstructured":"Rivest RL, Schapire RE (1993) Inference of finite automata using homing sequences. Inf Comput 103:299\u2013347","journal-title":"Inf Comput"},{"key":"216_CR49","doi-asserted-by":"crossref","unstructured":"Rosenberg J, Schulzrinne H, Camarillo G, Johnston A, Peterson J, Sparks R, Handley M, and Schooler E (2002) SIP: session initiation protocol (RFC 3261), June 2002. http:\/\/www.ietf.org\/rfc\/rfc3261.txt","DOI":"10.17487\/rfc3261"},{"key":"216_CR50","doi-asserted-by":"crossref","unstructured":"Shahbaz M, Li K, Groz R (2007) Learning and integration of parameterized components through testing. In: Petrenko A, Veanes M, Tretmans J, and Grieskamp W (eds) TestCom\/FATES, volume 4581 of lecture notes in computer science. Springer, Berlin, pp 319\u2013334","DOI":"10.1007\/978-3-540-73066-8_22"},{"key":"216_CR51","doi-asserted-by":"crossref","unstructured":"Shu G, Lee D (2007) Testing security properties of protocol implementations - a machine learning based approach. In: Proceedings of the ICDCS\u201907, 27th IEEE international conference on distributed computing systems, Toronto, Ontario. IEEE Computer Society","DOI":"10.1109\/ICDCS.2007.147"},{"key":"216_CR52","unstructured":"Smeenk W (2012) Applying automata learning to complex industrial software. Master thesis, Radboud University Nijmegen, September"},{"key":"216_CR53","volume-title":"TCP\/IP illustrated, volume 1: the protocols","author":"WR Stevens","year":"1994","unstructured":"Stevens WR (1994) TCP\/IP illustrated, volume 1: the protocols. Addison Wesley Longman Inc, Reading, MA"},{"key":"216_CR54","unstructured":"Tretmans J (1992) A formal approach to conformance testing. PhD thesis, University of Twente, December"},{"key":"216_CR55","unstructured":"Uijen J (2009) Learning models of communication protocols using abstraction techniques. Master thesis, Radboud University Nijmegen and Uppsala University, November"},{"key":"216_CR56","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-3-540-78917-8_2","volume-title":"Formal methods and testing, an outcome of the FORTEST network, revised selected papers, volume 4949 of lecture notes in computer science","author":"M Veanes","year":"2008","unstructured":"Veanes M, Campbell C, Grieskamp W, Schulte W, Tillmann W, Nachmanson L (2008) Model-based testing of object-oriented reactive systems with spec explorer. In: Hierons RM, Bowen JP, Harman M (eds) Formal methods and testing, an outcome of the FORTEST network, revised selected papers, volume 4949 of lecture notes in computer science. Springer, Berlin, pp 39\u201376"},{"key":"216_CR57","doi-asserted-by":"crossref","unstructured":"Veanes M, Hooimeijer P, Livshits B, Molnar D, Bj\u00f8rner N Symbolic finite state transducers: algorithms and applications. In: Field J, Hicks M (eds) Proceedings of the 39th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22\u201328, 2012, pp 137\u2013150. ACM, 2012","DOI":"10.1145\/2103656.2103674"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-014-0216-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-014-0216-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-014-0216-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T17:59:25Z","timestamp":1566064765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-014-0216-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,19]]},"references-count":57,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["216"],"URL":"https:\/\/doi.org\/10.1007\/s10703-014-0216-x","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,19]]}}}