Introduction to SLEAC
Classifying coverage