Sign in

Debugging temporal specifications with concept analysis.

Glenn AmmonsDavid MandelinRastislav BodíkJames R. Larus
Published in: PLDI (2003)
Keyphrases
  • data sets
  • learning algorithm
  • high level
  • similarity measure
  • multiscale
  • relational databases
  • image analysis
  • statistical analysis
  • static analysis