Trace analysis of Erlang programs

Authors:
Thomas Arts;Lars-Åke Fredlund
Affiliations:
IT-university, Göteborg, Sweden;Swedish Institute of Computer Science, Kista, Sweden
Venue:
Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
Year:
2002

Citing 6
Cited 6

Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
Discovering models of software processes from event-based data

ACM Transactions on Software Engineering and Methodology (TOSEM)
AXD 301: a new generation ATM switching system

Computer Networks: The International Journal of Computer and Telecommunications Networking
Mining specifications

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Technique for Drawing Directed Graphs

IEEE Transactions on Software Engineering
CADP - A Protocol Validation and Verification Toolbox

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification

A new leader election implementation

Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
A semantics for distributed Erlang

Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
SMArTIC: towards building an accurate, robust and scalable specification miner

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
A more accurate semantics for distributed erlang

ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Property-based testing: the ProTest project

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Semi-formal development of a fault-tolerant leader election protocol in erlang

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing

Quantified Score

Hi-index	0.00

Visualization

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.