bugs live in the cloud? A study of

+ issues in cloud systems. In Proceedings of the ACM Symposium on Computing (S

C’

). Haryadi S. Gunawi, Mingzhe Hao, Riza O. Suminto, Agung Laksono, Anang D. Satria, Jeffry Adityatama, and J. Eliazar.

Why does the cloud stop computing?: Lessons from hundreds of service outages. In Proceedings the ACM Symposium on Cloud Computing (S

C’

). David Harel.

Statecharts: A visual formalism for complex systems. Sci. Comput. Program.

,

(

), task-parallel program traces. In Proceedings of the

nd Workshop on Visual Performance Analysis (VPA’

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

/

Katherine E. Isaacs, Abhinav Bhatele, Jonathan Lifflander, David Böhme, Todd Gamblin, Martin Schulz, Hamann, and Peer-Timo Bremer.

Recovering logical structure from Charm++ event traces. In Proceedings the International Conference for High Performance Computing, Networking, Storage and Analysis (SC’

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

/

Katherine E. Isaacs, Peer-Timo Bremer, Ilir Jusufi, Todd Gamblin, Abhinav Bhatele, Martin Schulz, and Hamann.

Combing the communication hairball: Visualizing parallel execution traces using logical time. Trans. Vis. Comput. Graph.

,

(Dec.

),

–

DOI:https://doi.org/

/TVCG.

Katherine E. Isaacs, Todd Gamblin, Abhinav Bhatele, Martin Schulz, Bernd Hamann, and Peer-Timo Bremer. Ordering traces logically to identify lateness in message passing programs. IEEE Trans. Parallel Distrib. Syst. (Mar.

),

–

DOI:https://doi.org/

/TPDS.

Peer-Timo Bremer.

State-of-the-art of performance visualization. In Proceedings of the Eurographics on Visualization (Eur

is’

). Hank Jakiela.

Performance visualization of a distributed system: A case study. Computer

,

(Nov.

–

DOI:https://doi.org/

/

Kyriakos Karenos, Wim De Pauw, and Hui Lei.

A topic-based visualization tool for distributed lish/subscribe messaging. In Proceedings of the International Symposium on Applications and the Internet

–

DOI:https://doi.org/

/SAINT.

kibana

Retrieved from https://www.elastic.co/products/kibana. J. Klensin.

Simple Mail Transfer Protocol. RFC

(Draft Standard). Retrieved from rfc

txt. Ivo Krka, Yuriy Brun, and Nenad Medvidovic.

Automatic mining of specifications from invocation and method invariants. In Proceedings of the ACM SIGSOFT International Symposium on Foundations of Engineering (FSE’

) (

–

).

–

DOI:https://doi.org/

/

Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, and Nenad Medvidovic.

Using dynamic execution and program invariants to enhance behavioral model inference. In Proceedings of the International Conference Software Engineering (ICSE NIER track) (

–

).

–

DOI:https://doi.org/

/

Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, and David Lo.

Inferring class level for distributed systems. In Proceedings of the ACM/IEEE International Conference on Software Engineering Thomas Kunz, David J. Taylor, and James P. Black.

Poet: Target-system independent visualizations of distributed-application executions. Comput. J.

(

),

–

ACM Transactions on Software Engineering and Methodology, Vol. 29, No. 2, Article 9. Pub. date: March 2020.

I. Beschastnikh et [

] James F. Kurose and Keith W. Ross.

Computer Networking: A Top-down Approach (

th ed.). Pearson. [

] Fabrizio Lamberti and Gianluca Paravati.

VDHM: Viewport-DOM based heat maps as a tool for visually gating web users’ interaction data from mobile and heterogeneous devices. In Proceedings of the IEEE 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 Langer, Peer-Timo Bremer,an

alerio Pascucci.

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

,

(Dec.

),

–

/TVCG.

[

] Guillaume Langelier, Houari Sahraoui, and Pierre Poulin.

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

).

–

DOI:https://doi.org/

/VLHCC.

[

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

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

).

–

DOI:https://doi.org/

/ASE.

[

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

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

st International Conference on Dependable Systems & Networks

–

DOI:https://doi.org/

/DSN.

[

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

V

A: A visualization and analysis (ICSE Demo track).

–

[

] David Lo and Shahar Maoz.

Scenario-based and value-based specification mining: Better together. In 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 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/. [