Login / Signup

Using Counter Example Guided Abstraction Refinement to Find Complex Bugs.

Per BjesseJames H. Kukula
Published in: DATE (2004)
Keyphrases
  • high level
  • data sets
  • real world
  • complex data
  • data mining
  • case study
  • image sequences
  • relational databases
  • source code
  • software systems
  • complex systems