–

[

] Friedemann Mattern.

Virtual time and global states of distributed systems. In Parallel and Distributed rithms. North-Holland,

–

[

] mongodb

Retrieved from https://www.mongodb.org/. [

] F. Neves, N. Machado, and J. Pereira.

Falcon: A practical log-based analysis tool for distributed In Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’

). DOI:https://doi.org/

/DSN.

[

] Matheus Nunes, Ashaya Sharma Harjeet Lalh, Augustine Wong, Svetozar Miucin, Alexandra Fedorova, and Beschastnikh.

Studying multi-threaded behavior with TSViz. In Proceedings of the International Conference Software Engineering (ICSE Demo track). [

] Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, and Brun.

Behavioral resource-aware model inference. In Proceedings of the IEEE/ACM International Conference Automated Software Engineering (ASE’

) (

–

).

–

DOI:https://doi.org/

/

[

] Adam Oliner, Archana Ganapathi, and Wei Xu.

Advances and challenges in log analysis. Commun. ACM

, (Feb.

),

–

DOI:https://doi.org/

/

[

] Diego Ongaro and John Ousterhout.

In search of an understandable consensus algorithm. In Proceedings of USENIX Annual Technical Conference (ATC’

).

–

[

] papertrailapp

Retrieved from https://papertrailapp.com/. [

] Antonio Pecchia, Marcello Cinque, Gabriella Carrozza, and Domenico Cotroneo.

Industry practices and logging: Assessment of a critical software development process. In Proceedings of the International Conference Software Engineering (ICSE’

). [

] Raphae

ham,Stephan Kiesling,Olg

iskin,Lei

inger, an

urt Schneider.

Enablers,inhibitors, of Software Engineering (FSE’

).

James F. Kurose and Keith W. Ross. 2012. Computer Networking: A Top-down Approach (6th ed.). Pearson. Fabrizio Lamberti and Gianluca Paravati. 2015. VDHM: Viewport-DOM based heat maps as a tool for visually aggre- gating web users’ interaction data from mobile and heterogeneous devices. In Proceedings of the IEEE International Conference on Mobile Services (MS’15). 33–40. DOI:https://doi.org/10.1109/MobServ.2015.15 Leslie Lamport. 1978. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978),

gating web users’ interaction data from mobile and heterogeneous devices. In Proceedings of the IEEE International Conference on Mobile Services (MS’

).

–

DOI:https://doi.org/

/Mo

erv.

[

] Leslie Lamport.

Time, clocks, and the ordering of events in a distributed system. Commun. ACM

,

(

),

–

[

] Aaditya G. Landge, Joshua A. Levine, Katherine E. Isaacs, Abhinav Bhatele, Todd Gamblin, Martin Schulz, Steve H. Langer, Peer-Timo Bremer,an

alerio Pascucci.

Visualizing network traffic to understand the performance of massively parallel simulations. IEEE Trans. Vis. Comput. Graph.

,

(Dec.

),

–

DOI:https://doi.org/

/TVCG.

[

] Guillaume Langelier, Houari Sahraoui, and Pierre Poulin.

Exploring the evolution of software quality with animated visualization. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC’

).

–

DOI:https://doi.org/

/VLHCC.

[

] Tien-Duy B. Le, Xuan-Bach D. Le, David Lo, and Ivan Beschastnikh.

Synergizing specification miners through model fissions and fusions. In Proceedings of the IEEE/ACM International Conference on Automated Software Engi- neering (ASE’

).

–

DOI:https://doi.org/

/ASE.

[

] Kyu Hyung Lee, Nick Sumner, Xiangyu Zhang, and Patrick Eugster.

Unified debugging of distributed systems with Recon. In Proceedings of the IEEE/IFIP

st International Conference on Dependable Systems & Networks (DSN’

).

–

DOI:https://doi.org/

/DSN.

[

] Youn Kyu Lee, Jae Young Bang, Joshua Garcia, and Nenad Medvidovic.

V

A: A visualization and analysis tool fordistributedevent-basedsystems.I

roceedingsofth

CM/IEEEInternationa

onferenceo

oftwar

ngineering (ICSE Demo track).

–

[

] David Lo and Shahar Maoz.

Scenario-based and value-based specification mining: Better together. In Proceed- ings of the IEEE/ACM International Conference on Automated Software Engineering (ASE’

).

–

[

] loggly

Retrieved from https://www.loggly.com/. [

] logstash

Retrieved from https://www.elastic.co/products/logstash. [

] Davide Lorenzoli, Leonardo Mariani, and Mauro Pezzè.

Automatic generation of software behavioral models. In Proceedings of the International Conference on Software Engineering (ICSE’

).

–

DOI:https://doi.org/

/

[

] Stuart Marshall, Kirk Jackson, Craig Anslow, and Robert Biddle.

Aspects to visualising reusable components. In Proceedings of the Asia-Pacific Symposium on Information Visualisation (APVis’

), Vol.

–

Davide Lorenzoli, Leonardo Mariani, and Mauro Pezzè.

Automatic generation of software behavioral In Proceedings of the International Conference on Software Engineering (ICSE’

).

–

/

Stuart Marshall, Kirk Jackson, Craig Anslow, and Robert Biddle.

Aspects to visualising reusable In Proceedings of the Asia-Pacific Symposium on Information Visualisation (APVis’

), Vol.

–

Stuart Marshall, Kirk Jackson, Robert Biddle, Michael M

avin, Ewan Tempero, and Matthew Duignan.

sualising reusable software over the web. In Proceedings of the Asia-Pacific Symposium on Information (APVis’

), Vol.

–

Friedemann Mattern.

Virtual time and global states of distributed systems. In Parallel and Distributed rithms. North-Holland,

–

mongodb

Retrieved from https://www.mongodb.org/. F. Neves, N. Machado, and J. Pereira.

Falcon: A practical log-based analysis tool for distributed In Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’

). DOI:https://doi.org/

/DSN.

Matheus Nunes, Ashaya Sharma Harjeet Lalh, Augustine Wong, Svetozar Miucin, Alexandra Fedorova, and Beschastnikh.