Deductive evaluation: formal code analysis with low user burden.

Published in: FormaliSE@ICSE (2016)

Keyphrases

formal analysis
user centered
user interface
open source
information overload
evaluation model
empirical analysis
machine learning
collaborative filtering
source code
operating system
user profiles
user preferences
user experience
formal model
user studies