Possible uses

• Easing evolution

• Test case coverage

• Program understanding (especially with value database queries)

• Use to form a program spectrum

• Use to help insert assert statements in programs

• To aid compiler optimizations

Previous slide

Next slide

Back to first slide

View graphic version