Bug
- 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