Trace analysis of Erlang programs

Arts, Thomas and Fredlund, Lars-Åke (2002) Trace analysis of Erlang programs. In: Erlang Workshop, ACM SIGPLAN, 7 Oct 2002, Pittsburgh, Pennsylvania, USA.

Full text not available from this repository.


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.

Item Type:Conference or Workshop Item (Paper)
ID Code:2925
Deposited On:11 Jul 2008
Last Modified:18 Nov 2009 16:16

Repository Staff Only: item control page