Understanding user understanding: determining correctness of generated program invariants.

Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel

Browse the full ISSTA paper archive.