Michael D. Ernst: Invited Talk Static and dynamic analysis: synergy and duality. PASTE 2004: 35