• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Mark GabelZhendong 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