On the experience of using cause-effect graphs for software specification and test generation
Amit M. Paradkar · Conference of the Centre for Advanced Studies on Collaborative Research · 1994
The notion of cause-effect graphs (CEGs) has existed for more than two decades, but its use is not yet popular. In this paper, we describe several empirical studies of using cause-effect graphs for the specification and testing of real software, including a boiler control and monitor system, a set of N-version programs for navigation tracking, and a database monitoring system. We present the problems encountered in these empirical studies, the solutions developed to solve them, the evaluation of CEG-based specification and test generation, and the experience of using CEG-based tools.