Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel
Understanding user understanding: determining correctness of generated program invariants
ISSTA, 2012.
@inproceedings{ISSTA-2012-StaatsHKR, author = "Matt Staats and Shin Hong and Moonzoo Kim and Gregg Rothermel", booktitle = "{Proceedings of the 21st International Symposium on Software Testing and Analysis}", doi = "10.1145/2338965.2336776", isbn = "978-1-4503-1454-1", pages = "188--198", publisher = "{ACM}", title = "{Understanding user understanding: determining correctness of generated program invariants}", year = 2012, }