Using inspections to investigate program correctness