Some thoughts about code coverage measurement with Pin blogpost added