Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel. Understanding user understanding: determining correctness of generated program invariants. In Mats Per Erik Heimdahl, Zhendong Su, editors, International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. pages 188-198, ACM, 2012. [doi]
Abstract is missing.