large software systems / software error-detection tool / program analysis systems / call site / bug finding tool / program analysis algorithms / computing / bug detection systems / summary generation algorithm / software packages / predicate abstraction algorithm / software systems / error checking systems / bug finding/verification tools / verification tool / lazy initialization algorithm / /
OperatingSystem
Linux / Microsoft Windows / GNU / /
Organization
Stanford University Stanford / /
Person
Gi / Alex Aiken / / /
Position
supervisor / Prime Minister / guard / guard for s / appropriate guard / analysis designer / representative / Debugging General / guard for si as well / /
ProgrammingLanguage
php / FP / R / C / /
ProvinceOrState
California / /
Technology
program analysis algorithms / lazy initialization algorithm / php / ANSI C / Linux / predicate abstraction algorithm / summary generation algorithm / /
Scalable Error Detection using Boolean Satisfiability Yichen Xie∗ Alex Aiken∗ Computer Science Department Stanford University