[

] Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, and Thomas E. Anderson.

Mining temporal invariants from partially ordered logs. SIGOPS Oper. Syst. Rev.

,

(Jan.

),

–

DOI:https://doi.org/

/

[

] Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, and Michael D. Ernst.

Leveraging existing instrumentation to automatically infer invariant-constrained models. In Proceedings of the ACM SIGSOFT Conference on the Foundations of Software Engineering (FSE’

).

–

[

] Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, and Michael D. Ernst.

Sh

iz evaluation details. Retrieved from http://bestchai.bitbucket.io/shiviz-evaluation/. [

] Ivan Beschastnikh, Patty Wang, Yuriy Brun, and Michael D. Ernst.

Debugging distributed systems. Commun. ACM

,

(Aug.

),

–

DOI:https://doi.org/

/

[

] Alan W. Biermann and Jerome A. Feldman.

On the synthesis of finite-state machines from samples of their behavior. IEEE Trans. Comput.

,

(

),

–

[

] Bully algorithm

Retrieved from http://en.wikipedia.org/wiki/Bully_algorithm. [

] Haipeng Cai and Douglas Thain.

Dis

A: A cost-effective dynamic impact analysis for distributed programs. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE’

). [

] Jacques Chassin de Kergommeaux and Benhur de Oliveira Stein.

Flexible performance visualization of parallel and distributed applications. Fut. Gen. Comput. Syst.

,

(

),

–

Haipeng Cai and Douglas Thain. 2016. DistIA: A cost-effective dynamic impact analysis for distributed programs. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE’16). Jacques Chassin de Kergommeaux and Benhur de Oliveira Stein. 2003. Flexible performance visualization of parallel and distributed applications. Fut. Gen. Comput. Syst. 19, 5 (2003), 735–747.

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

I. Beschastnikh et al. [

] Jacques Chassin de Kergommeaux, Benhur de Oliveira Stein, and Pierre-Eric Bernard.

Pajé, an interactive visualization tool for tuning multi-threaded parallel applications. Parallel Comput.

,

(

),

–

[

] Boyuan Chen and Zhen Ming (Jack) Jiang.

Characterizing logging practices in Java-based open source soft- ware projects—A replication study in Apache Software Foundation. Empir. Softw. Eng.

,

(Feb.

),

–

DOI:https://doi.org/

/s

-

-

-

[

] Mariano C. Consens, Masum Z. Hasan, and Alberto O. Mendelzon.

Debugging distributed programs by visu- alizing and querying event traces. In Proceedings of the Conference on Applications of Databases, Vol.

–

[

] Jonathan E. Cook and Alexander L. Wolf.

Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol.

,

(

). [

] Charlie Curtsinger and Emery D. Berger.

Coz: Finding code that counts with causal profiling. In Proceedings of the Symposium on Operating Systems Principles (SOSP’

).

–

DOI:https://doi.org/

/

[

] Wim De Pauw and Henrique Andrade.

Visualizing large-scale streaming applications. Inf. Vis.

,

(Apr.

),

–

DOI:https://doi.org/

/ivs.

[

] Wim De Pauw, Henrique Andrade, and Lisa Amini.

Strea

ight: A visualization tool for large-scale streaming applications. In Proceedings of the International Symposium on Software Visualization (Sof

is’

).

–

DOI: https://doi.org/

/

[

] Wim De Pauw and Steve Heisig.

Visual and algorithmic tooling for system trace analysis: A case study. Oper. Syst. Rev.

,

(

),

–

DOI:https://doi.org/

/

[

] Wim De Pauw and Steve Heisig.

Zinsight: A visual and analytic environment for exploring large event traces. In Proceedings of the International Symposium on Software Visualization (Sof

is’

).

–

[

] Wim De Pauw, Sophia Krasikov, and John F. Morar.

Execution patterns for visualizing web services. In Pro- ceedings of the International Symposium on Software Visualization (Sof

is’

).

–

[

] Wim De Pauw, Mihai Letia, Bugra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer, and Daby M. Sow.

Visual debugging for stream processing applications. In Proceedings of the International Conference on Runtime Verification (RV’

).

–

[

] Wim De Pauw and John M. Vlissides.

Visualizing object-oriented programs with Jinsight. In Proceedings of the Workshop Ion on Object-Oriented Technology.

–

[

] Wim De Pauw, Joel L. Wolf, and Andrey Balmin.

Visualizing jobs with shared resources in distributed en- vironments. In Proceedings of the IEEE Working Conference on Software Visualization (VISSOFT’

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

/VISSOFT.

[

] Travis Desell, Harihar Narasimha Iyer, Carlos Varela, and Abe Stephens.

Ove

iew: A framework for generic online visualization of distributed systems. Electron. Notes Theor. Comput. Sci. (Eclipse Technol. Exch.:

X Eclipse Phenom.)

(

),

–

DOI:https://doi.org/

/j.entcs.

[

] Dennis Edwards and Phil Kearns.

DTVS: A distributed trace visualization system. In Proceedings of the Sym- posium on Parallel and Distributed Processing (IPDPS’

).

–

[

] elasticsearch

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

] Dirk Fahland, David Lo, and Shahar Maoz.

Mining branching-time scenarios. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE’

). [

] Colin J. Fidge.

Timestamps in message-passing systems that preserve the partial ordering. In Proceedings of the Australasian Computer Science Conference (ACSC’

).

–

[

] Cormac Flanagan and Patrice Godefroid.

Dynamic partial-order reduction for model checking software. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’

).

–

[

] fluentd

Retrieved from http://www.fluentd.org/. [

] Rodrigo Fonseca, George Porter, Randy H. Katz, Scott Shenker, and Ion Stoica.