A formalization of Myers cause-effect graphs for unit testing

Authors:
Mike Adler;Michael A. Gray
Affiliations:
Control Data Corporation, Arden Hills, MN;Control Data Corporation, Arden Hills, MN
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1983

Citing 3
Cited 2

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
An axiomatic basis for computer programming

Communications of the ACM
Art of Software Testing

Art of Software Testing

Cause-effect graphing analysis and validation of requirements

CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Error free code: is it attainable?

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract