Arts, Thomas

Fredlund, Lars-Åke

RISE, Swedish ICT, SICS.

2002 (English)Conference paper, Published paper (Refereed)

Abstract [en]

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.