Paper Info
Title
Debugging Process Algebra Specifications
Abstract
Designing and developing distributed and concurrent applications has always been a tedious and error-prone task. In this context, formal techniques and tools are of great help in order to specify such concurrent systems and detect bugs in the corresponding models. In this paper, we propose a new framework for debugging value-passing process algebra through coverage analysis. We illustrate our approach with LNT, which is a recent specification language designed for formally modelling concurrent systems. We define several coverage notions before showing how to instrument the specification without affecting original behaviors. Our approach helps one to improve the quality of a dataset of examples used for validation purposes, but also to find ill-formed decisions, dead code, and other errors in the specification. We have implemented a tool for automating our debugging approach, and applied it to several real-world case studies in different application areas.
Year
DOI
Venue
2015
10.1007/978-3-662-46081-8_14
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015)
Field
DocType
Volume
Specification language,Programming language,Computer science,Process calculus,Algorithmic program debugging,Dead code,Debugging
Conference
8931
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
17
2
Name
Order
Citations
PageRank
Gwen Salaün198871.03
Lina Ye2268.75