Meta-Development

From Adam Colton
Revision as of 16:04, 19 September 2019 by Adamcolton (talk | contribs) (Created page with "== Users == * Find the bug * Predict the output * Programming exercise == Case Studies == * Hard to find bugs == Selected Projects == * Runtime analysis * Test/Benchmark Us...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Users

  • Find the bug
  • Predict the output
  • Programming exercise

Case Studies

  • Hard to find bugs

Selected Projects

  • Runtime analysis
  • Test/Benchmark

Use static analysis to look for repeated patterns both at the language and bytecode level.