A set of programming tools including a coverage analyzer etc