The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation
The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation

Authors
Ben Chelf CTO, Coverity Ben Chelf is CTO of San Francisco-based Coverity, Inc. Before he co-founded Coverity, Ben was a founding member of the Stanford Computer Science Laboratory team that architected and developed Coverity’s underlying technology. He is one of the world’s leading experts on the commercial use of static source code analysis. In 2007, he was selected as one of Computerworld’s 40 Innovative IT People to Watch, Under the Age of 40, and often provides expert insight into software quality and security for the press, public audiences, and in published writings. In his role at Coverity, Mr. Chelf works with organizations such as the US Department of Homeland Security, Cisco, Ericsson and Symantec to improve the security and quality of software around the world. He holds BS and MS degrees in Computer Science from Stanford University.Andy Chou Chief Scientist, Coverity Andy Chou is Chief Scientist of San Francisco-based Coverity Inc. Andy is responsible for advancing source code analysis technology at Coverity as well as furthering the state-of-the-art in software quality and security industry wide. Prior to co-founding Coverity, Andy was instrumental in developing the core intellectual property behind the Coverity platform. He received his Ph.D. in Computer Science from Stanford University and his B.S. in Electrical Engineering from UC Berkeley.