Unifying verification and validation techniques: relating behavior and properties through partial evidence.

Matthew B. Dwyer Sebastian G. Elbaum

Published in: FoSER (2010)

Keyphrases

model checking
desirable properties
information retrieval
behavior analysis
topological properties
behavior patterns
databases
three dimensional
artificial neural networks
empirical evidence
structural properties