Slicing tools for synchronous reactive programs

Authors:
S. Ramesh;A. Kulkarni;V. Kamat
Affiliations:
IIT Bombay, India;IIT Bombay, India;IIT Bombay, India
Venue:
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Year:
2004

Citing 5
Cited 1

The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Static slicing of threaded programs

Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Slicing concurrent programs

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Slicing Programs with Arbitrary Control-flow

AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures

Proceedings of the conference on Design, automation and test in Europe - Volume 1

Existential abstractions for distributed reactive systems via syntactic transformations

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present two slicing tools: VHDL_Slice and Est_slice that compute static executable slices of VHDL and Esterel programs respectively. The slicers have been tested on a number of small and medium sized examples.