bining Static and Dynamic Reasoning for Bug DetectionYannis Smaragdakis and Christoph CsallnerElnatan Reisner – April 17 2008MotivationBoth testing and static analysis are usefulBut both have dra