A Metric for Testing Program Verification Systems.

Bernhard Beckert Thorsten Bormer Markus Wagner

Published in: TAP@STAF (2013)

Keyphrases

distributed systems
complex systems
real time
neural network
feature selection
multiscale
multi agent
artificial neural networks
object oriented
test data
computing systems
similarity metric
software testing