Trace analysis of Erlang programs-Reference-Cited by-同舟云学术

Trace analysis of Erlang programs

Published:2002-12 Issue:12 Volume:37 Page:18-24
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Arts Thomas¹,Fredlund Lars-Åke²

Affiliation:

1. IT-university, Göteborg, Sweden

2. Swedish Institute of Computer Science, Kista, Sweden

Abstract

The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces using a set of techniques. Due to the frequent use of state-based software design patterns in Erlang programming we can in many cases recover not only the events from a trace log, but also the program states causing these events. This makes it possible to obtain program models from execution traces. In our work we make use of these program models for program visualization and model checking.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/636517.636524

Reference9 articles.

1. Mining specifications

2. AXD 301 - a new generation ATM switching system;Blau S.;Ericsson Review,1998

3. Discovering models of software processes from event-based data

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Gaining trust by tracing security protocols;Journal of Logical and Algebraic Methods in Programming;2023-01

2. A theory of monitors;Information and Computation;2021-12

3. Gaining trust by tracing security protocols;Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang - Erlang 2019;2019

4. RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software;Lecture Notes in Computer Science;2013

5. Finding race conditions in Erlang with QuickCheck and PULSE;ACM SIGPLAN Notices;2009-08-31