The 2nd Verified Software Competition: Experience Report.

Jean-Christophe Filliâtre Andrei Paskevich Aaron Stump

Published in: COMPARE (2012)

Keyphrases

software systems
software development
data sets
computer systems
software architecture
software design
software package
software packages
commercial software
user interface
test cases
proprietary software
data mining
source code
open source software