Backtesting, stress testing, and risk attribution - Backtesting methods (e.g., Kupiec, Christoffersen)