• Find a bug / Get report of a bug
    • KLEE: crash bugs
    • STACK: undefined behavior
  • Reproduce the bug
    • DMT
    • Record-replay
    • stress test
  • Diagnose the bug
    • printf
    • DTrace
  • Fix the bug
    • AFIX/CFIX/OFIX
  • Create regression test for the bug
  • Find other bugs with the same pattern