Cause effect graphing

• Build boolean functions that capture specific transformations captured by the program

• Constraints can be defined to pare the input space

  • Ex: B and P are mutually exclusive

Previous slide

Next slide

Back to first slide

View graphic version