iProve: A scalable technique for consumer-verifiable software guarantees.

Silviu Andrica Horatiu Jula George Candea

Published in: DSN (2010)

Keyphrases

software architecture
source code
software development
software systems
software tools
real world
hardware design
software package
computer systems
software maintenance
software platform
web scale
software design
website
information systems
artificial intelligence
information retrieval