Collaborative Verification and Testing with Explicit Assumptions.

Maria Christakis Peter Müller Valentin Wüstholz

Published in: FM (2012)

Keyphrases

test generation
formal verification
symbolic execution
model checking
collaborative learning
collaborative environment
test cases
data sets
multi user
software testing
formal analysis
statistical inference
concurrent systems
databases
collaborative problem solving
underlying assumptions