An empirical framework for comparing effectiveness of testing and property-based formal analysis.

Jeremy S. Bradbury James R. Cordy Jürgen Dingel

Published in: PASTE (2005)

Keyphrases

formal analysis
probabilistic model
main contribution
artificial intelligence
formal methods
web services
knowledge representation
key properties