[Spec] Setup coverage analysis