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...

Full description

Saved in:
Bibliographic Details
Published inScience of computer programming Vol. 145; pp. 13 - 36
Main Authors Luo, Chen, He, Fei, Ghezzi, Carlo
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.10.2017
Subjects
Online AccessGet full text
ISSN0167-6423
1872-7964
DOI10.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