Inferring software behavioral models with MapReduce
In the real world practice, software systems are often built without developing any explicit upfront model. This can cause serious problems that may hinder the almost inevitable future evolution, since at best the only documentation about the software is in the form of source code comments. To addre...
        Saved in:
      
    
          | Published in | Science of computer programming Vol. 145; pp. 13 - 36 | 
|---|---|
| Main Authors | , , | 
| Format | Journal Article | 
| Language | English | 
| Published | 
            Elsevier B.V
    
        01.10.2017
     | 
| Subjects | |
| Online Access | Get full text | 
| ISSN | 0167-6423 1872-7964  | 
| DOI | 10.1016/j.scico.2017.04.004 | 
Cover
| Abstract | In the real world practice, software systems are often built without developing any explicit upfront model. This can cause serious problems that may hinder the almost inevitable future evolution, since at best the only documentation about the software is in the form of source code comments. To address this problem, research has been focusing on automatic inference of models by applying machine learning algorithms to execution logs. However, the logs generated by a real software system may be very large and the inference algorithm can exceed the processing capacity of a single computer.
This paper proposes a scalable, general approach to the inference of behavior models that can handle large execution logs via parallel and distributed algorithms implemented using the MapReduce programming model and executed on a cluster of interconnected execution nodes. The approach consists of two distributed phases that perform trace slicing and model synthesis. For each phase, a distributed algorithm using MapReduce is developed. With the parallel data processing capacity of MapReduce, the problem of inferring behavior models from large logs can be efficiently solved. The technique is implemented on top of Hadoop. Experiments on Amazon clusters show efficiency and scalability of our approach.
•A distributed trace slicing algorithm using MapReduce.•A distributed model synthesis algorithm using MapReduce.•A novel approach for inferring software behavior models with MapReduce.•Experimental results show promising performance of this approach. | 
    
|---|---|
| AbstractList | In the real world practice, software systems are often built without developing any explicit upfront model. This can cause serious problems that may hinder the almost inevitable future evolution, since at best the only documentation about the software is in the form of source code comments. To address this problem, research has been focusing on automatic inference of models by applying machine learning algorithms to execution logs. However, the logs generated by a real software system may be very large and the inference algorithm can exceed the processing capacity of a single computer.
This paper proposes a scalable, general approach to the inference of behavior models that can handle large execution logs via parallel and distributed algorithms implemented using the MapReduce programming model and executed on a cluster of interconnected execution nodes. The approach consists of two distributed phases that perform trace slicing and model synthesis. For each phase, a distributed algorithm using MapReduce is developed. With the parallel data processing capacity of MapReduce, the problem of inferring behavior models from large logs can be efficiently solved. The technique is implemented on top of Hadoop. Experiments on Amazon clusters show efficiency and scalability of our approach.
•A distributed trace slicing algorithm using MapReduce.•A distributed model synthesis algorithm using MapReduce.•A novel approach for inferring software behavior models with MapReduce.•Experimental results show promising performance of this approach. | 
    
| Author | He, Fei Ghezzi, Carlo Luo, Chen  | 
    
| Author_xml | – sequence: 1 givenname: Chen surname: Luo fullname: Luo, Chen email: cluo8@uci.edu organization: Tsinghua National Laboratory for Information Science and Technology (TNList), Key Laboratory for Information System Security, Ministry of Education, School of Software, Tsinghua University, Beijing 100084, China – sequence: 2 givenname: Fei orcidid: 0000-0002-4266-875X surname: He fullname: He, Fei email: hefei@tsinghua.edu.cn organization: Tsinghua National Laboratory for Information Science and Technology (TNList), Key Laboratory for Information System Security, Ministry of Education, School of Software, Tsinghua University, Beijing 100084, China – sequence: 3 givenname: Carlo surname: Ghezzi fullname: Ghezzi, Carlo email: carlo.ghezzi@polimi.it organization: Politecnico di Milano, Italy  | 
    
| BookMark | eNqFj7FOwzAURS1UJNrCF7DkBxKeY9dOBgZUAa1UhIS6W479Ql2lcWWbVvw9KWVigOku99yrMyGj3vdIyC2FggIVd9siGmd8UQKVBfACgF-QMa1kmcta8BEZDy2ZC16yKzKJcQsAgks6JmzZtxiC69-z6Nt01AGzBjf64HzQXbbzFruYHV3aZC96_4b2w-A1uWx1F_HmJ6dk_fS4ni_y1evzcv6wyg0DlnI0VlLLOLAK-PCnS2M4CKqZkcLWs0ZUtrKs1dLUVcM1r-p2VjOrZVMKK9mU1OdZE3yMAVtlXNLJ-T4F7TpFQZ3k1VZ9y6uTvAKuBvmBZb_YfXA7HT7_oe7P1OCMB4fh1MHeoHUBTVLWuz_5L8TFdrc | 
    
| CitedBy_id | crossref_primary_10_1016_j_jlamp_2018_07_003 crossref_primary_10_1007_s10664_021_10111_4 crossref_primary_10_3390_app10196676 crossref_primary_10_1002_spe_2653 crossref_primary_10_1016_j_is_2020_101666  | 
    
| Cites_doi | 10.1080/08839510701853200 10.1007/s10664-012-9222-z 10.1109/MS.2007.138 10.1145/287000.287001 10.1002/stvr.380 10.1109/TC.1972.5009015 10.1109/TSE.2010.98 10.1145/1327452.1327492 10.1007/BF01995674 10.1145/566171.566212 10.1145/1047659.1040314 10.1145/2094114.2094118 10.1016/0890-5401(87)90052-6 10.1109/TSE.2008.63  | 
    
| ContentType | Journal Article | 
    
| Copyright | 2017 Elsevier B.V. | 
    
| Copyright_xml | – notice: 2017 Elsevier B.V. | 
    
| DBID | AAYXX CITATION  | 
    
| DOI | 10.1016/j.scico.2017.04.004 | 
    
| DatabaseName | CrossRef | 
    
| DatabaseTitle | CrossRef | 
    
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc | 
    
| Discipline | Computer Science | 
    
| EISSN | 1872-7964 | 
    
| EndPage | 36 | 
    
| ExternalDocumentID | 10_1016_j_scico_2017_04_004 S0167642317300795  | 
    
| GroupedDBID | --K --M .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 4.4 457 4G. 5VS 7-5 71M 8P~ 9JN AACTN AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAXUO AAYFN ABBOA ABJNI ABMAC ABVKL ABYKQ ACDAQ ACGFS ACRLP ACZNC ADBBV ADEZE ADHUB AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD AXJTR BKOJK BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HVGLF IHE IXB J1W KOM LG9 M26 M41 MO0 N9A O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 RIG ROL RPZ SDF SDG SDP SES SPC SPCBC SSV SSZ T5K TN5 XPP ZMT ~G- AAEDT AAQXK AATTM AAXKI AAYWO AAYXX ABFNM ABWVN ABXDB ACLOT ACNNM ACRPL ACVFH ADCNI ADMUD ADNMO ADVLN AEIPS AEUPX AFFNX AFJKZ AFPUW AGHFR AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP ASPBG AVWKF AZFZN CITATION EFKBS FGOYB G-2 HZ~ R2- SEW WUQ ZY4 ~HD  | 
    
| ID | FETCH-LOGICAL-c303t-ecd71d3403804006a2cc4061a3c76d95b68d8d3fa7c98b4a489f593da7b26d73 | 
    
| IEDL.DBID | .~1 | 
    
| ISSN | 0167-6423 | 
    
| IngestDate | Wed Oct 01 02:59:15 EDT 2025 Thu Apr 24 22:59:30 EDT 2025 Fri Feb 23 02:37:17 EST 2024  | 
    
| IsPeerReviewed | true | 
    
| IsScholarly | true | 
    
| Keywords | Log analysis Parametric trace Model inference MapReduce  | 
    
| Language | English | 
    
| LinkModel | DirectLink | 
    
| MergedId | FETCHMERGED-LOGICAL-c303t-ecd71d3403804006a2cc4061a3c76d95b68d8d3fa7c98b4a489f593da7b26d73 | 
    
| ORCID | 0000-0002-4266-875X | 
    
| PageCount | 24 | 
    
| ParticipantIDs | crossref_citationtrail_10_1016_j_scico_2017_04_004 crossref_primary_10_1016_j_scico_2017_04_004 elsevier_sciencedirect_doi_10_1016_j_scico_2017_04_004  | 
    
| ProviderPackageCode | CITATION AAYXX  | 
    
| PublicationCentury | 2000 | 
    
| PublicationDate | 2017-10-01 2017-10-00  | 
    
| PublicationDateYYYYMMDD | 2017-10-01 | 
    
| PublicationDate_xml | – month: 10 year: 2017 text: 2017-10-01 day: 01  | 
    
| PublicationDecade | 2010 | 
    
| PublicationTitle | Science of computer programming | 
    
| PublicationYear | 2017 | 
    
| Publisher | Elsevier B.V | 
    
| Publisher_xml | – name: Elsevier B.V | 
    
| References | Walkinshaw, Bogdanov, Ali, Holcombe (br0490) 2008; 18 Walkinshaw, Taylor, Derrick (br0570) 2015 Blackburn, Garner, Hoffman, Khan, McKinley, Bentzur, Diwan, Feinberg, Frampton, Guyer, Hirzel, Hosking, Jump, Lee, Moss, Phansalkar, Stefanović, VanDrunen, von Dincklage, Wiedermann (br0160) 2006 Blackburn, Garner, Hoffman, Khan, McKinley, Bentzur, Diwan, Feinberg, Frampton, Guyer, Hirzel, Hosking, Jump, Lee, Moss, Phansalkar, Stefanović, VanDrunen, von Dincklage, Wiedermann (br0180) 2006 Dean, Ghemawat (br0100) 2008; 51 Alur, Černý, Madhusudan, Nam (br0380) 2005; 40 Thollard, Dupont, Higuera (br0110) 2000 Lo, Mariani, Pezzè (br0040) 2009 Wang, Lo, Jiang, Maoz, Budi (br0090) 2015 Lo, Khoo (br0220) 2006 Heule, Verwer (br0250) 2010 Aarts, Jonsson, Uijen (br0590) 2010 Beschastnikh, Brun, Abrahamson, Ernst, Krishnamurthy (br0270) 2013 de Caso, Braberman, Garbervetsky, Uchitel (br0430) 2012; 38 Xiao, Sun, Liu, Lin, Sun (br0470) 2013 Lee, Chen, Roşu (br0080) 2011 Walkinshaw, Bogdanov (br0330) 2008 Howar, Giannakopoulou, Rakamarić (br0550) 2013 Schölkopf, Burges (br0560) 1999 Dallmeier, Knopp, Mallon, Hack, Zeller (br0510) 2010 Bersani, Bianculli, Ghezzi, Krstić, San Pietro (br0690) 2016 Walkinshaw, Bogdanov, Holcombe, Salahuddin (br0310) 2007 Beschastnikh, Brun, Ernst, Krishnamurthy (br0060) 2014 Medhat, Ramesh, Bonakdarpour, Fischmeister (br0640) 2015 Cook, Wolf (br0150) 1998; 7 Dallmeier, Lindig, Wasylkowski, Zeller (br0450) 2006 Clarke, Grumberg, Jha, Lu, Veith (br0340) 2000 Basin, Klaedtke, Müller (br0710) 2010; vol. 6174 Biermann, Feldman (br0010) 1972; C-21 Lee, Lee, Choi, Chung, Moon (br0130) 2012; 40 Wasylkowski, Zeller, Lindig (br0390) 2007 Ghezzi, Pezzè, Sama, Tamburrelli (br0050) 2014 Beschastnikh, Brun, Schneider, Sloan, Ernst (br0190) 2011 Bianculli, Ghezzi, Krstić (br0670) 2014; vol. 8702 Cousot, Cousot (br0410) 1977 Mariani, Pezzè, Riganelli, Santoro (br0420) 2010 Whaley, Martin, Lam (br0370) 2002; 27 Giannakopoulou, Rakamarić, Raman (br0540) 2012 Ernst, Cockrell, Griswold, Notkin (br0530) 1999 Lang, Pearlmutter, Price (br0210) 1998 Le, Le, Lo, Beschastnikh (br0350) 2015 Aarts, Heidarian, Kuppens, Olsen, Vaandrager (br0600) 2012 Basin, Caronni, Ereth, Harvan, Klaedtke, Mantel (br0700) 2016 Lo, Khoo (br0170) 2006 Dupont, Lambeau, Damas, Lamsweerde (br0300) 2008; 22 Berg, Jonsson, Raffelt (br0520) 2006 Raman, Patrick, North (br0020) 1997 Cassel, Howar, Jonsson, Steffen (br0630) 2014 Xie, Notkin (br0480) 2004 Busany, Maoz (br0280) 2015 Comparetti, Wondracek, Kruegel, Kirda (br0070) 2009 Howar, Steffen, Jonsson, Cassel (br0620) 2012 Howar, Isberner, Steffen, Bauer, Jonsson (br0610) 2012 Mariani, Pastore (br0360) 2008 Lamprier, Ziadi, Baskiotis, Hillah (br0140) 2014 Li, Forin, Seshia (br0240) 2010 Lorenzoli, Mariani, Pezzè (br0460) 2008 Angluin (br0290) 1987; 75 Luo, He, Ghezzi (br0120) 2015; vol. 9409 Ammons, Bodík, Larus (br0030) 2002 Ohmann, Herzberg, Fiss, Halbert, Palyart, Beschastnikh, Brun (br0650) 2014 Mariani, Pezzè (br0230) 2007; 24 Krka, Brun, Medvidovic (br0440) 2014 Li, Groz, Shahbaz (br0580) 2006 Heule, Verwer (br0260) 2012; 18 Barre, Klein, Soucy-Boivin, Ollivier, Hallé (br0660) 2013; vol. 7687 Koymans (br0680) 1990; 2 Oncina, Garcia (br0200) 1992; vol. 5 Howar, Steffen, Merten (br0320) 2011 Ghezzi, Mocci, Monga (br0500) 2009 Shoham, Yahav, Fink, Pistoia (br0400) 2008; 34 Comparetti (10.1016/j.scico.2017.04.004_br0070) 2009 Li (10.1016/j.scico.2017.04.004_br0240) 2010 Giannakopoulou (10.1016/j.scico.2017.04.004_br0540) 2012 Ohmann (10.1016/j.scico.2017.04.004_br0650) 2014 Ammons (10.1016/j.scico.2017.04.004_br0030) 2002 Busany (10.1016/j.scico.2017.04.004_br0280) 2015 Raman (10.1016/j.scico.2017.04.004_br0020) 1997 Thollard (10.1016/j.scico.2017.04.004_br0110) 2000 Ghezzi (10.1016/j.scico.2017.04.004_br0050) 2014 Beschastnikh (10.1016/j.scico.2017.04.004_br0190) 2011 Dallmeier (10.1016/j.scico.2017.04.004_br0450) 2006 Basin (10.1016/j.scico.2017.04.004_br0710) 2010; vol. 6174 Biermann (10.1016/j.scico.2017.04.004_br0010) 1972; C-21 Barre (10.1016/j.scico.2017.04.004_br0660) 2013; vol. 7687 Lo (10.1016/j.scico.2017.04.004_br0040) 2009 Wang (10.1016/j.scico.2017.04.004_br0090) 2015 Howar (10.1016/j.scico.2017.04.004_br0320) 2011 Mariani (10.1016/j.scico.2017.04.004_br0420) 2010 Clarke (10.1016/j.scico.2017.04.004_br0340) 2000 Walkinshaw (10.1016/j.scico.2017.04.004_br0490) 2008; 18 Howar (10.1016/j.scico.2017.04.004_br0620) 2012 Blackburn (10.1016/j.scico.2017.04.004_br0160) 2006 Xiao (10.1016/j.scico.2017.04.004_br0470) 2013 Howar (10.1016/j.scico.2017.04.004_br0550) 2013 Wasylkowski (10.1016/j.scico.2017.04.004_br0390) 2007 Luo (10.1016/j.scico.2017.04.004_br0120) 2015; vol. 9409 Lee (10.1016/j.scico.2017.04.004_br0130) 2012; 40 Lo (10.1016/j.scico.2017.04.004_br0170) 2006 Lo (10.1016/j.scico.2017.04.004_br0220) 2006 Bianculli (10.1016/j.scico.2017.04.004_br0670) 2014; vol. 8702 Whaley (10.1016/j.scico.2017.04.004_br0370) 2002; 27 Shoham (10.1016/j.scico.2017.04.004_br0400) 2008; 34 Walkinshaw (10.1016/j.scico.2017.04.004_br0570) 2015 Beschastnikh (10.1016/j.scico.2017.04.004_br0270) 2013 Aarts (10.1016/j.scico.2017.04.004_br0600) 2012 Berg (10.1016/j.scico.2017.04.004_br0520) 2006 Ernst (10.1016/j.scico.2017.04.004_br0530) 1999 Aarts (10.1016/j.scico.2017.04.004_br0590) 2010 Blackburn (10.1016/j.scico.2017.04.004_br0180) 2006 Xie (10.1016/j.scico.2017.04.004_br0480) 2004 Mariani (10.1016/j.scico.2017.04.004_br0360) 2008 Lamprier (10.1016/j.scico.2017.04.004_br0140) 2014 Lorenzoli (10.1016/j.scico.2017.04.004_br0460) 2008 Lee (10.1016/j.scico.2017.04.004_br0080) 2011 Le (10.1016/j.scico.2017.04.004_br0350) 2015 Alur (10.1016/j.scico.2017.04.004_br0380) 2005; 40 Mariani (10.1016/j.scico.2017.04.004_br0230) 2007; 24 Heule (10.1016/j.scico.2017.04.004_br0250) 2010 Dupont (10.1016/j.scico.2017.04.004_br0300) 2008; 22 Dean (10.1016/j.scico.2017.04.004_br0100) 2008; 51 Cassel (10.1016/j.scico.2017.04.004_br0630) 2014 Koymans (10.1016/j.scico.2017.04.004_br0680) 1990; 2 Cook (10.1016/j.scico.2017.04.004_br0150) 1998; 7 Walkinshaw (10.1016/j.scico.2017.04.004_br0330) 2008 Walkinshaw (10.1016/j.scico.2017.04.004_br0310) 2007 Lang (10.1016/j.scico.2017.04.004_br0210) 1998 Basin (10.1016/j.scico.2017.04.004_br0700) 2016 Schölkopf (10.1016/j.scico.2017.04.004_br0560) 1999 Cousot (10.1016/j.scico.2017.04.004_br0410) 1977 de Caso (10.1016/j.scico.2017.04.004_br0430) 2012; 38 Angluin (10.1016/j.scico.2017.04.004_br0290) 1987; 75 Beschastnikh (10.1016/j.scico.2017.04.004_br0060) 2014 Oncina (10.1016/j.scico.2017.04.004_br0200) 1992; vol. 5 Ghezzi (10.1016/j.scico.2017.04.004_br0500) 2009 Li (10.1016/j.scico.2017.04.004_br0580) 2006 Howar (10.1016/j.scico.2017.04.004_br0610) 2012 Dallmeier (10.1016/j.scico.2017.04.004_br0510) 2010 Medhat (10.1016/j.scico.2017.04.004_br0640) 2015 Krka (10.1016/j.scico.2017.04.004_br0440) 2014 Bersani (10.1016/j.scico.2017.04.004_br0690) 2016 Heule (10.1016/j.scico.2017.04.004_br0260) 2012; 18  | 
    
| References_xml | – start-page: 345 year: 2009 end-page: 354 ident: br0040 article-title: Automatic steering of behavioral model inference publication-title: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering – volume: 2 start-page: 255 year: 1990 end-page: 299 ident: br0680 article-title: Specifying real-time properties with metric temporal logic publication-title: Real-Time Syst. – start-page: 10 year: 2012 end-page: 27 ident: br0600 article-title: Automata learning through counterexample guided abstraction refinement publication-title: FM 2012: Formal Methods – start-page: 250 year: 2014 end-page: 264 ident: br0630 article-title: Learning extended finite state machines publication-title: Software Engineering and Formal Methods – volume: 18 start-page: 99 year: 2008 end-page: 121 ident: br0490 article-title: Automated discovery of state transitions and their functions in source code publication-title: Softw. Test. Verif. Reliab. – start-page: 169 year: 2006 end-page: 190 ident: br0180 article-title: The DaCapo benchmarks: Java benchmarking development and analysis publication-title: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications – start-page: 17 year: 2006 end-page: 24 ident: br0450 article-title: Mining object behavior with ADABU publication-title: Proceedings of the 2006 International Workshop on Dynamic Systems Analysis – volume: C-21 start-page: 592 year: 1972 end-page: 597 ident: br0010 article-title: On the synthesis of finite-state machines from samples of their behavior publication-title: IEEE Trans. Comput. – start-page: 117 year: 2008 end-page: 126 ident: br0360 article-title: Automated identification of failure causes in system logs publication-title: Proceedings of the 19th International Symposium on Software Reliability Engineering – volume: 22 start-page: 77 year: 2008 end-page: 115 ident: br0300 article-title: The QSM algorithm and its application to software behavior model induction publication-title: Appl. Artif. Intell. – start-page: 209 year: 2007 end-page: 218 ident: br0310 article-title: Reverse engineering state machines by interactive grammar inference publication-title: 14th Working Conference on Reverse Engineering, 2007 – volume: vol. 5 start-page: 99 year: 1992 end-page: 108 ident: br0200 article-title: Identifying regular languages in polynomial time publication-title: Advances in Structural and Syntactic Pattern Recognition – start-page: 248 year: 2008 end-page: 257 ident: br0330 article-title: Inferring finite-state models with temporal constraints publication-title: Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering – volume: 40 start-page: 11 year: 2012 end-page: 20 ident: br0130 article-title: Parallel data processing with MapReduce: a survey publication-title: SIGMOD Rec. – start-page: 169 year: 2006 end-page: 190 ident: br0160 article-title: The DaCapo benchmarks: Java benchmarking development and analysis publication-title: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications – start-page: 436 year: 2006 end-page: 450 ident: br0580 article-title: Integration testing of distributed components based on learning parameterized i/o models publication-title: Proceedings of the 26th International Conference on Formal Techniques for Networked and Distributed Systems – volume: 40 start-page: 98 year: 2005 end-page: 109 ident: br0380 article-title: Synthesis of interface specifications for Java classes publication-title: SIGPLAN Not. – start-page: 252 year: 2013 end-page: 261 ident: br0270 article-title: Unifying FSM-inference algorithms through declarative specification publication-title: Proceedings of the 35th International Conference on Software Engineering – start-page: 66 year: 2010 end-page: 79 ident: br0250 article-title: Exact DFA identification using SAT solvers publication-title: Proceedings of the 10th International Conference on Grammatical Inference: Theoretical Results and Applications – start-page: 85 year: 2010 end-page: 96 ident: br0510 article-title: Generating test cases for specification mining publication-title: Proceedings of the 19th International Symposium on Software Testing and Analysis – start-page: 1 year: 2016 end-page: 34 ident: br0700 article-title: Scalable offline monitoring of temporal specifications publication-title: Form. Methods Syst. Des. – start-page: 107 year: 2006 end-page: 121 ident: br0520 article-title: Regular inference for state machines with parameters publication-title: Proceedings of the 9th Fundamental Approaches to Software Engineering – start-page: 265 year: 2006 end-page: 275 ident: br0220 article-title: SMArTIC: towards building an accurate, robust and scalable specification miner publication-title: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering – volume: 38 start-page: 141 year: 2012 end-page: 162 ident: br0430 article-title: Automated abstractions for contract validation publication-title: IEEE Trans. Softw. Eng. – start-page: 19 year: 2014 end-page: 30 ident: br0650 article-title: Behavioral resource-aware model inference publication-title: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering – start-page: 178 year: 2014 end-page: 189 ident: br0440 article-title: Automatic mining of specifications from invocation traces and method invariants publication-title: Proceedings of the 22nd ACM International Symposium on Foundations of Software Engineering – start-page: 213 year: 1999 end-page: 224 ident: br0530 article-title: Dynamically discovering likely program invariants to support program evolution publication-title: Proceedings of the 21st International Conference on Software Engineering – start-page: 1 year: 2015 end-page: 43 ident: br0570 article-title: Inferring extended finite state machine models from software executions publication-title: Empir. Softw. Eng. – start-page: 4 year: 2002 end-page: 16 ident: br0030 article-title: Mining specifications publication-title: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages – start-page: 238 year: 1977 end-page: 252 ident: br0410 article-title: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints publication-title: Proceedings of the 4th ACM SIGPLAN Symposium on Principles of Programming Languages – volume: 18 start-page: 825 year: 2012 end-page: 856 ident: br0260 article-title: Software model synthesis using satisfiability solvers publication-title: Empir. Softw. Eng. – start-page: 501 year: 2008 end-page: 510 ident: br0460 article-title: Automatic generation of software behavioral models publication-title: Proceedings of the 30th International Conference on Software Engineering – year: 1997 ident: br0020 article-title: The sk-strings method for inferring PFSA publication-title: Proceedings of the Workshop on Automata Induction, Grammatical Inference and Language Acquisition at the 14th International Conference on Machine Learning – start-page: 267 year: 2011 end-page: 277 ident: br0190 article-title: Leveraging existing instrumentation to automatically infer invariant-constrained models publication-title: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering – start-page: 898 year: 2015 end-page: 901 ident: br0280 article-title: Behavioral log analysis with statistical guarantees publication-title: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering – start-page: 263 year: 2011 end-page: 277 ident: br0320 article-title: Automata learning with automated alphabet abstraction refinement publication-title: Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation – start-page: 1 year: 1998 end-page: 12 ident: br0210 article-title: Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithm publication-title: Proceedings of the 4th International Colloquium on Grammatical Inference – start-page: 177 year: 2015 end-page: 186 ident: br0640 article-title: A framework for mining hybrid automata from input/output traces publication-title: Proceedings of the 12th International Conference on Embedded Software – volume: vol. 7687 start-page: 184 year: 2013 end-page: 198 ident: br0660 article-title: MapReduce for parallel trace validation of LTL properties publication-title: Runtime Verification – start-page: 115 year: 2015 end-page: 125 ident: br0350 article-title: Synergizing specification miners through model fissions and fusions (t) publication-title: Proceedings of 30th IEEE/ACM International Conference on Automated Software Engineering – year: 1999 ident: br0560 article-title: Advances in Kernel Methods: Support Vector Learning – start-page: 251 year: 2012 end-page: 266 ident: br0620 article-title: Inferring canonical register automata publication-title: Verification, Model Checking, and Abstract Interpretation – volume: 75 start-page: 87 year: 1987 end-page: 106 ident: br0290 article-title: Learning regular sets from queries and counterexamples publication-title: Inf. Comput. – start-page: 154 year: 2000 end-page: 169 ident: br0340 article-title: Counterexample-guided abstraction refinement publication-title: Computer Aided Verification – volume: 7 start-page: 215 year: 1998 end-page: 249 ident: br0150 article-title: Discovering models of software processes from event-based data publication-title: ACM Trans. Softw. Eng. Methodol. – start-page: 110 year: 2009 end-page: 125 ident: br0070 article-title: Prospex: protocol specification extraction publication-title: 2009 30th IEEE Symposium on Security and Privacy – start-page: 755 year: 2010 end-page: 760 ident: br0240 article-title: Scalable specification mining for verification and diagnosis publication-title: Proceedings of the 47th Design Automation Conference – start-page: 432 year: 2013 end-page: 442 ident: br0470 article-title: TzuYu: learning stateful typestates publication-title: 2013 IEEE/ACM 28th International Conference on Automated Software Engineering – volume: 51 start-page: 107 year: 2008 end-page: 113 ident: br0100 article-title: MapReduce: simplified data processing on large clusters publication-title: Commun. ACM – volume: vol. 8702 start-page: 144 year: 2014 end-page: 158 ident: br0670 article-title: Trace checking of metric temporal logic with aggregating modalities using MapReduce publication-title: Software Engineering and Formal Methods – start-page: 268 year: 2013 end-page: 279 ident: br0550 article-title: Hybrid learning: interface generation through static, dynamic, and symbolic analysis publication-title: Proceedings of the 2013 International Symposium on Software Testing and Analysis – volume: 34 start-page: 651 year: 2008 end-page: 666 ident: br0400 article-title: Static specification mining using automata-based abstractions publication-title: IEEE Trans. Softw. Eng. – start-page: 468 year: 2014 end-page: 479 ident: br0060 article-title: Inferring models of concurrent systems from logs of their behavior with CSight publication-title: Proceedings of the 36th International Conference on Software Engineering – start-page: 591 year: 2011 end-page: 600 ident: br0080 article-title: Mining parametric specifications publication-title: Proceedings of the 33rd International Conference on Software Engineering – start-page: 975 year: 2000 end-page: 982 ident: br0110 article-title: Probabilistic DFA inference using Kullback–Leibler divergence and minimality publication-title: Proceedings of the 17th International Conference on Machine Learning – start-page: 277 year: 2014 end-page: 287 ident: br0050 article-title: Mining behavior models from user-intensive web applications publication-title: Proceedings of the 36th International Conference on Software Engineering – start-page: 188 year: 2010 end-page: 204 ident: br0590 article-title: Generating models of infinite-state communication protocols using regular inference with abstraction publication-title: Proceedings of the 22nd International Conference on Testing Software and Systems – volume: 24 start-page: 76 year: 2007 end-page: 85 ident: br0230 article-title: Dynamic detection of cots component incompatibility publication-title: IEEE Softw. – start-page: 554 year: 2012 end-page: 571 ident: br0610 article-title: Inferring semantic interfaces of data structures publication-title: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – start-page: 51 year: 2006 end-page: 60 ident: br0170 article-title: QUARK: empirical assessment of automaton-based specification miners publication-title: Proceedings of the 13th Working Conference on Reverse Engineering – start-page: 166 year: 2014 end-page: 175 ident: br0140 article-title: Exact and efficient temporal steering of software behavioral model inference publication-title: 2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS) – start-page: 888 year: 2016 end-page: 898 ident: br0690 article-title: Efficient large-scale trace checking using MapReduce publication-title: Proceedings of the 38th International Conference on Software Engineering – volume: vol. 9409 start-page: 135 year: 2015 end-page: 149 ident: br0120 article-title: Inferring software behavioral models with MapReduce publication-title: Dependable Software Engineering: Theories, Tools, and Applications – start-page: 22 year: 2010 end-page: 28 ident: br0420 article-title: SEIM: static extraction of interaction models publication-title: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems – start-page: 623 year: 2015 end-page: 648 ident: br0090 article-title: Scalable parallelization of specification mining using distributed computing publication-title: The Art and Science of Analyzing Software Data – volume: 27 start-page: 218 year: 2002 end-page: 228 ident: br0370 article-title: Automatic extraction of object-oriented component interfaces publication-title: Softw. Eng. Notes – start-page: 290 year: 2004 end-page: 305 ident: br0480 article-title: Automatic extraction of object-oriented observer abstractions from unit-test executions publication-title: Proceedings of the 6th International Conference on Formal Engineering Methods – start-page: 35 year: 2007 end-page: 44 ident: br0390 article-title: Detecting object usage anomalies publication-title: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering – start-page: 430 year: 2009 end-page: 440 ident: br0500 article-title: Synthesizing intensional behavior models by graph transformation publication-title: Proceedings of the 31st International Conference on Software Engineering – volume: vol. 6174 start-page: 1 year: 2010 end-page: 18 ident: br0710 article-title: Policy monitoring in first-order temporal logic publication-title: Computer Aided Verification – start-page: 248 year: 2012 end-page: 264 ident: br0540 article-title: Symbolic learning of component interfaces publication-title: Proceedings of the 19th International Symposium on Static Analysis – start-page: 623 year: 2015 ident: 10.1016/j.scico.2017.04.004_br0090 article-title: Scalable parallelization of specification mining using distributed computing – start-page: 107 year: 2006 ident: 10.1016/j.scico.2017.04.004_br0520 article-title: Regular inference for state machines with parameters – start-page: 501 year: 2008 ident: 10.1016/j.scico.2017.04.004_br0460 article-title: Automatic generation of software behavioral models – start-page: 154 year: 2000 ident: 10.1016/j.scico.2017.04.004_br0340 article-title: Counterexample-guided abstraction refinement – start-page: 248 year: 2012 ident: 10.1016/j.scico.2017.04.004_br0540 article-title: Symbolic learning of component interfaces – volume: 22 start-page: 77 issue: 1–2 year: 2008 ident: 10.1016/j.scico.2017.04.004_br0300 article-title: The QSM algorithm and its application to software behavior model induction publication-title: Appl. Artif. Intell. doi: 10.1080/08839510701853200 – start-page: 209 year: 2007 ident: 10.1016/j.scico.2017.04.004_br0310 article-title: Reverse engineering state machines by interactive grammar inference – start-page: 250 year: 2014 ident: 10.1016/j.scico.2017.04.004_br0630 article-title: Learning extended finite state machines – start-page: 1 year: 1998 ident: 10.1016/j.scico.2017.04.004_br0210 article-title: Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithm – year: 1999 ident: 10.1016/j.scico.2017.04.004_br0560 – start-page: 66 year: 2010 ident: 10.1016/j.scico.2017.04.004_br0250 article-title: Exact DFA identification using SAT solvers – start-page: 166 year: 2014 ident: 10.1016/j.scico.2017.04.004_br0140 article-title: Exact and efficient temporal steering of software behavioral model inference – start-page: 213 year: 1999 ident: 10.1016/j.scico.2017.04.004_br0530 article-title: Dynamically discovering likely program invariants to support program evolution – volume: vol. 7687 start-page: 184 year: 2013 ident: 10.1016/j.scico.2017.04.004_br0660 article-title: MapReduce for parallel trace validation of LTL properties – start-page: 178 year: 2014 ident: 10.1016/j.scico.2017.04.004_br0440 article-title: Automatic mining of specifications from invocation traces and method invariants – start-page: 35 year: 2007 ident: 10.1016/j.scico.2017.04.004_br0390 article-title: Detecting object usage anomalies – start-page: 252 year: 2013 ident: 10.1016/j.scico.2017.04.004_br0270 article-title: Unifying FSM-inference algorithms through declarative specification – start-page: 554 year: 2012 ident: 10.1016/j.scico.2017.04.004_br0610 article-title: Inferring semantic interfaces of data structures – start-page: 591 year: 2011 ident: 10.1016/j.scico.2017.04.004_br0080 article-title: Mining parametric specifications – start-page: 432 year: 2013 ident: 10.1016/j.scico.2017.04.004_br0470 article-title: TzuYu: learning stateful typestates – start-page: 19 year: 2014 ident: 10.1016/j.scico.2017.04.004_br0650 article-title: Behavioral resource-aware model inference – volume: 18 start-page: 825 issue: 4 year: 2012 ident: 10.1016/j.scico.2017.04.004_br0260 article-title: Software model synthesis using satisfiability solvers publication-title: Empir. Softw. Eng. doi: 10.1007/s10664-012-9222-z – start-page: 85 year: 2010 ident: 10.1016/j.scico.2017.04.004_br0510 article-title: Generating test cases for specification mining – volume: 24 start-page: 76 issue: 5 year: 2007 ident: 10.1016/j.scico.2017.04.004_br0230 article-title: Dynamic detection of cots component incompatibility publication-title: IEEE Softw. doi: 10.1109/MS.2007.138 – volume: 7 start-page: 215 issue: 3 year: 1998 ident: 10.1016/j.scico.2017.04.004_br0150 article-title: Discovering models of software processes from event-based data publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/287000.287001 – start-page: 268 year: 2013 ident: 10.1016/j.scico.2017.04.004_br0550 article-title: Hybrid learning: interface generation through static, dynamic, and symbolic analysis – year: 1997 ident: 10.1016/j.scico.2017.04.004_br0020 article-title: The sk-strings method for inferring PFSA – start-page: 17 year: 2006 ident: 10.1016/j.scico.2017.04.004_br0450 article-title: Mining object behavior with ADABU – volume: 18 start-page: 99 issue: 2 year: 2008 ident: 10.1016/j.scico.2017.04.004_br0490 article-title: Automated discovery of state transitions and their functions in source code publication-title: Softw. Test. Verif. Reliab. doi: 10.1002/stvr.380 – volume: vol. 8702 start-page: 144 year: 2014 ident: 10.1016/j.scico.2017.04.004_br0670 article-title: Trace checking of metric temporal logic with aggregating modalities using MapReduce – start-page: 169 year: 2006 ident: 10.1016/j.scico.2017.04.004_br0160 article-title: The DaCapo benchmarks: Java benchmarking development and analysis – start-page: 10 year: 2012 ident: 10.1016/j.scico.2017.04.004_br0600 article-title: Automata learning through counterexample guided abstraction refinement – volume: C-21 start-page: 592 issue: 6 year: 1972 ident: 10.1016/j.scico.2017.04.004_br0010 article-title: On the synthesis of finite-state machines from samples of their behavior publication-title: IEEE Trans. Comput. doi: 10.1109/TC.1972.5009015 – start-page: 22 year: 2010 ident: 10.1016/j.scico.2017.04.004_br0420 article-title: SEIM: static extraction of interaction models – start-page: 248 year: 2008 ident: 10.1016/j.scico.2017.04.004_br0330 article-title: Inferring finite-state models with temporal constraints – start-page: 975 year: 2000 ident: 10.1016/j.scico.2017.04.004_br0110 article-title: Probabilistic DFA inference using Kullback–Leibler divergence and minimality – volume: vol. 9409 start-page: 135 year: 2015 ident: 10.1016/j.scico.2017.04.004_br0120 article-title: Inferring software behavioral models with MapReduce – start-page: 755 year: 2010 ident: 10.1016/j.scico.2017.04.004_br0240 article-title: Scalable specification mining for verification and diagnosis – start-page: 888 year: 2016 ident: 10.1016/j.scico.2017.04.004_br0690 article-title: Efficient large-scale trace checking using MapReduce – start-page: 430 year: 2009 ident: 10.1016/j.scico.2017.04.004_br0500 article-title: Synthesizing intensional behavior models by graph transformation – volume: 38 start-page: 141 issue: 1 year: 2012 ident: 10.1016/j.scico.2017.04.004_br0430 article-title: Automated abstractions for contract validation publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2010.98 – volume: 51 start-page: 107 issue: 1 year: 2008 ident: 10.1016/j.scico.2017.04.004_br0100 article-title: MapReduce: simplified data processing on large clusters publication-title: Commun. ACM doi: 10.1145/1327452.1327492 – volume: 2 start-page: 255 issue: 4 year: 1990 ident: 10.1016/j.scico.2017.04.004_br0680 article-title: Specifying real-time properties with metric temporal logic publication-title: Real-Time Syst. doi: 10.1007/BF01995674 – start-page: 4 year: 2002 ident: 10.1016/j.scico.2017.04.004_br0030 article-title: Mining specifications – start-page: 898 year: 2015 ident: 10.1016/j.scico.2017.04.004_br0280 article-title: Behavioral log analysis with statistical guarantees – volume: 27 start-page: 218 issue: 4 year: 2002 ident: 10.1016/j.scico.2017.04.004_br0370 article-title: Automatic extraction of object-oriented component interfaces publication-title: Softw. Eng. Notes doi: 10.1145/566171.566212 – start-page: 265 year: 2006 ident: 10.1016/j.scico.2017.04.004_br0220 article-title: SMArTIC: towards building an accurate, robust and scalable specification miner – start-page: 345 year: 2009 ident: 10.1016/j.scico.2017.04.004_br0040 article-title: Automatic steering of behavioral model inference – start-page: 277 year: 2014 ident: 10.1016/j.scico.2017.04.004_br0050 article-title: Mining behavior models from user-intensive web applications – start-page: 169 year: 2006 ident: 10.1016/j.scico.2017.04.004_br0180 article-title: The DaCapo benchmarks: Java benchmarking development and analysis – volume: vol. 6174 start-page: 1 year: 2010 ident: 10.1016/j.scico.2017.04.004_br0710 article-title: Policy monitoring in first-order temporal logic – start-page: 188 year: 2010 ident: 10.1016/j.scico.2017.04.004_br0590 article-title: Generating models of infinite-state communication protocols using regular inference with abstraction – start-page: 1 year: 2015 ident: 10.1016/j.scico.2017.04.004_br0570 article-title: Inferring extended finite state machine models from software executions publication-title: Empir. Softw. Eng. – volume: 40 start-page: 98 issue: 1 year: 2005 ident: 10.1016/j.scico.2017.04.004_br0380 article-title: Synthesis of interface specifications for Java classes publication-title: SIGPLAN Not. doi: 10.1145/1047659.1040314 – start-page: 51 year: 2006 ident: 10.1016/j.scico.2017.04.004_br0170 article-title: QUARK: empirical assessment of automaton-based specification miners – start-page: 117 year: 2008 ident: 10.1016/j.scico.2017.04.004_br0360 article-title: Automated identification of failure causes in system logs – start-page: 290 year: 2004 ident: 10.1016/j.scico.2017.04.004_br0480 article-title: Automatic extraction of object-oriented observer abstractions from unit-test executions – start-page: 468 year: 2014 ident: 10.1016/j.scico.2017.04.004_br0060 article-title: Inferring models of concurrent systems from logs of their behavior with CSight – start-page: 110 year: 2009 ident: 10.1016/j.scico.2017.04.004_br0070 article-title: Prospex: protocol specification extraction – start-page: 436 year: 2006 ident: 10.1016/j.scico.2017.04.004_br0580 article-title: Integration testing of distributed components based on learning parameterized i/o models – volume: vol. 5 start-page: 99 year: 1992 ident: 10.1016/j.scico.2017.04.004_br0200 article-title: Identifying regular languages in polynomial time – volume: 40 start-page: 11 issue: 4 year: 2012 ident: 10.1016/j.scico.2017.04.004_br0130 article-title: Parallel data processing with MapReduce: a survey publication-title: SIGMOD Rec. doi: 10.1145/2094114.2094118 – start-page: 177 year: 2015 ident: 10.1016/j.scico.2017.04.004_br0640 article-title: A framework for mining hybrid automata from input/output traces – volume: 75 start-page: 87 issue: 2 year: 1987 ident: 10.1016/j.scico.2017.04.004_br0290 article-title: Learning regular sets from queries and counterexamples publication-title: Inf. Comput. doi: 10.1016/0890-5401(87)90052-6 – start-page: 263 year: 2011 ident: 10.1016/j.scico.2017.04.004_br0320 article-title: Automata learning with automated alphabet abstraction refinement – start-page: 115 year: 2015 ident: 10.1016/j.scico.2017.04.004_br0350 article-title: Synergizing specification miners through model fissions and fusions (t) – start-page: 238 year: 1977 ident: 10.1016/j.scico.2017.04.004_br0410 article-title: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – start-page: 251 year: 2012 ident: 10.1016/j.scico.2017.04.004_br0620 article-title: Inferring canonical register automata – start-page: 1 year: 2016 ident: 10.1016/j.scico.2017.04.004_br0700 article-title: Scalable offline monitoring of temporal specifications publication-title: Form. Methods Syst. Des. – start-page: 267 year: 2011 ident: 10.1016/j.scico.2017.04.004_br0190 article-title: Leveraging existing instrumentation to automatically infer invariant-constrained models – volume: 34 start-page: 651 issue: 5 year: 2008 ident: 10.1016/j.scico.2017.04.004_br0400 article-title: Static specification mining using automata-based abstractions publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2008.63  | 
    
| SSID | ssj0006471 | 
    
| Score | 2.2136586 | 
    
| Snippet | In the real world practice, software systems are often built without developing any explicit upfront model. This can cause serious problems that may hinder the... | 
    
| SourceID | crossref elsevier  | 
    
| SourceType | Enrichment Source Index Database Publisher  | 
    
| StartPage | 13 | 
    
| SubjectTerms | Log analysis MapReduce Model inference Parametric trace  | 
    
| Title | Inferring software behavioral models with MapReduce | 
    
| URI | https://dx.doi.org/10.1016/j.scico.2017.04.004 | 
    
| Volume | 145 | 
    
| hasFullText | 1 | 
    
| inHoldings | 1 | 
    
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Baden-Württemberg Complete Freedom Collection (Elsevier) customDbUrl: eissn: 1872-7964 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: GBLVA dateStart: 20110101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier ScienceDirect Open Access Journals customDbUrl: eissn: 1872-7964 dateEnd: 20211103 omitProxy: true ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: IXB dateStart: 19811001 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Complete Freedom Collection [SCCMFC] customDbUrl: eissn: 1872-7964 dateEnd: 20211103 omitProxy: true ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: ACRLP dateStart: 19950201 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection customDbUrl: eissn: 1872-7964 dateEnd: 20211031 omitProxy: true ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: AIKHN dateStart: 19950201 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection customDbUrl: eissn: 1872-7964 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: .~1 dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals customDbUrl: mediaType: online eissn: 1872-7964 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: AKRWK dateStart: 19811001 isFulltext: true providerName: Library Specific Holdings  | 
    
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LTwIxEG4IXrz4NuKD9ODRFZZ22-0RiQQ0cFBMuDV9JhiDBDDe_O12drs-YsLBYzedzebrzjczzTwQutQ07XjPdJIG4kuoykwiHA16ZTzRTIUIQUGB82jMBk_0bppNa6hX1cJAWmXk_pLTC7aOT1oRzdZiNms9QgJ98J6DASTB0AkoNKeUwxSD64_vNA9WBl1Ff2_YXXUeKnK8wnsNVACmvOh3Gqe1_bFOPyxOfw_tRFcRd8uv2Uc1Nz9Au9UYBhy18hCRIRTtwf0cXgVSfVdLh7-r73Ex62aF4cIVj9TiAXq1uiM06d9OeoMkzkJITDAy68QZy1NLaJvkoHZMdYwBW6yI4cyKTLPc5pZ4xY3INVU0Fz4TxCquO8xycozq89e5O0HYZoIJ4YmgXlDbdlqEEMgZRoWznnPSQJ0KAmlin3AYV_Eiq4SwZ1ngJgE32aYy4NZAV19Ci7JNxubtrMJW_jptGYh8k-DpfwXP0DasyjS8c1RfL9_cRXAn1rpZ_C9NtNUd3g_GYTWc3nwCX6XKOg | 
    
| linkProvider | Elsevier | 
    
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED6VMsDCG1GeHhgJbWLHjkdUUbXQdoAidbMcP6QiVKq2iI3fjp04FITEwJr4ouhL7s5nffcdwGVO4sRamkexC3wRkamKuCHOr5TFOZWuQpC-wXkwpN0ncjdOxzVoV70wnlYZYn8Z04toHa40A5rN2WTSfPQEerd7dgkQu0TH0zVYJ2nCfAV2_bHiedCy6ioEvv3ySnqoIHm5ByvfAhizQvA0jGv7lZ6-pZzODmyFvSK6KV9nF2pmugfb1RwGFNxyH3DPd-35Azq0cFH1Xc4NWrXfo2LYzQL5E1c0kLMHL9ZqDmDUuR21u1EYhhApl2WWkVGaxRqTFs6831GZKOWTscSKUc3TnGY609hKpniWE0kyblOOtWR5QjXDh1Cfvk7NESCdcsq5xZxYTnTL5NzVQEZRwo22jOEGJBUEQgWhcD-v4kVUjLBnUeAmPG6iRYTDrQFXX0azUifj7-W0wlb8-NzCRfK_DI__a3gBG93RoC_6veH9CWz6OyUn7xTqy_mbOXN7i2V-Xvw7n4VGyss | 
    
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Inferring+software+behavioral+models+with+MapReduce&rft.jtitle=Science+of+computer+programming&rft.au=Luo%2C+Chen&rft.au=He%2C+Fei&rft.au=Ghezzi%2C+Carlo&rft.date=2017-10-01&rft.issn=0167-6423&rft.volume=145&rft.spage=13&rft.epage=36&rft_id=info:doi/10.1016%2Fj.scico.2017.04.004&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_scico_2017_04_004 | 
    
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0167-6423&client=summon | 
    
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0167-6423&client=summon | 
    
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0167-6423&client=summon |