Saswat Anand

Date:

Fri, 2011-04-29 11:00 - 13:00

Location:

Klaus 2108

Enabling Techniques for Symbolic Execution of Java Programs

Saswat Anand
School of Computer Science
Georgia Institute of Technology

Committee:

Dr. Mary Jean Harrold, School of Computer Science (advisor)
Dr. Alex Orso, School of Computer Science
Dr. Santosh Pande, School of Computer Science
Dr. Willem Visser, Dept of Mathematical Sciences, Computer Science Division, University of Stellenbosch, South Africa

Abstract: