Understanding user understanding: determining correctness of generated program invariants.

Matt Staats Shin Hong Moonzoo Kim Gregg Rothermel

Published in: ISSTA (2012)

Keyphrases

decision trees
database
real world
decision making
learning environment
user interface
social media
end users
d objects
user defined