Login / Signup
Preserving User Proofs across Specification Changes.
François Bobot
Jean-Christophe Filliâtre
Claude Marché
Guillaume Melquiond
Andrei Paskevich
Published in:
VSTTE (2013)
Keyphrases
</>
user interaction
user defined
user interface
user profiles
user feedback
neural network
learning algorithm
end users
relevance feedback
user satisfaction
user requirements
data sets
user experience
theorem proving
user centric
manual inspection