Google TechTalks
July 13, 2006
Christoph Csallner
ABSTRACT
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program's intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program's input domain. S. Statically analyze the program within the restricted input domain to explore many paths. D. Automatically generate test cases that focus on verifying the results of the static analysis. Thereby confirmed results are never false positives, as opposed to the high false positive rate inherent in conservative static analysis.
This three-step approach yields benefits compared to...
Introducing The Veterans Job Bank
11/7/11: White House Press Briefing
President Obama's Press Conference on the G20 Summit
President Obama Speaks About the US-France Alliance
President Obama's Bilateral Meeting with President Cristina Fernandez de Kirchner of Argentina
Weekly Address: We Have to Increase the Pace
President's Management Advisory Board Session II
President's Management Advisory Board Session I
Why We Can't Wait to Invest in Our Infrastructure
Advise the Advisor: Nancy-Ann DeParle
Ren McCormack: A Time to Dance
Maid of Honor: Best Wedding Speech Ever
Amy Poehler: 2011 Commencement Address at the Harvard University
Ray Lewis: Elon Football Team Pregame Speech
Martin Luther King Jr.: We Shall Overcome
Ali G: Ali G's Harvard Graduation Speech
Maximus Decimus Meridius: My Name is Maximus
Gordon Gekko: Greed is Good
Best Man: Funny Best Man Speech
Favorite:
0
0