Javert: fully automatic mining of general temporal properties from dynamic traces.

Mark Gabel Zhendong Su

Published in: SIGSOFT FSE (2008)

Keyphrases

fully automatic
temporal properties
semi automatic
fully automated
mri data
dynamic environments
manual annotation
data mining
left ventricle
neural network
image pairs
formal methods
left ventricular