Verifying the Safety of User Pointer Dereferences.

Suhabe Bugrara Alex Aiken

Published in: IEEE Symposium on Security and Privacy (2008)

Keyphrases

user interface
user defined
user interaction
evolutionary algorithm
user requirements
collaborative filtering
information retrieval systems
user queries
user experience
user model
user satisfaction
user feedback
user interests
user oriented