Optimistic source models
These include only truth but may omit some true information
Often come from dynamic extraction
Ex: In white-box code coverage in testing
- Indicating which statements have been executed by the selected test cases
- Others statements may be executable with other test cases