{"65732":{"#nid":"65732","#data":{"type":"event","title":"Ph.D Thesis Proposal Announcement: Saswat Anand","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003EEnabling Techniques for Symbolic Execution of Java\nPrograms\u003C\/strong\u003E\u003C\/p\u003E\n\n\u003Cp\u003E\u003Cstrong\u003ESaswat Anand\u003C\/strong\u003E\u003Cbr \/\u003ESchool of Computer Science\u003Cbr \/\u003EGeorgia Institute of Technology\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ECommittee:\u003C\/strong\u003E\u003C\/p\u003E\n\n\n\n\n\n\u003Cp\u003EDr. Mary Jean Harrold, School of Computer Science\n(advisor)\u003Cbr \/\u003EDr. Alex Orso, School of Computer Science\u003Cbr \/\u003EDr. Santosh Pande, School of Computer Science\u003Cbr \/\u003EDr. Willem Visser, Dept of Mathematical Sciences,\nComputer Science Division, University of Stellenbosch, South Africa\u003C\/p\u003E\n\n\n\n\u003Cp\u003E\u003Cstrong\u003EAbstract:\u003C\/strong\u003E\u003C\/p\u003E\n\n\n\n\u003Cp\u003EProgram-analysis techniques enable software tools to\nreason about the behavior of software. Symbolic execution is a program-analysis\ntechnique that has been successfully used in different subfields of computer\nscience, such as software engineering, software security and privacy, systems,\nand databases. The basic idea behind symbolic execution is to execute a program\nwith symbolic values instead of actual data and compute constraints on those\nsymbols. The constraints are then solved to generate new program inputs to\nexplore new program behavior.\u003C\/p\u003E\u003Cp\u003EExisting symbolic execution systems for the Java\nprogramming language cannot handle large real-world programs precisely,\nefficiently, and automatically. Both the imprecision and the requirement of\nmanual effort to apply symbolic execution to real-world programs arise because of\n(1) some features of the Java language, such as native methods and reflection\nthat are problematic for symbolic execution, and (2) extensive use of Java\u2019s\nstandard library classes. Building a precise, efficient, and automatic symbolic\nexecution system for Java requires addressing several research problems and\nsignificant system building. \u003C\/p\u003E\n\n\n\n\u003Cp\u003EThe goal of this research is to address those research\nproblems and build such a system. This goal will be achieved through the\nfollowing steps. First, I will develop static analysis and\nprogram-transformation techniques that will reduce the computational cost of\nsymbolic execution, and the imprecision and the manual effort required to apply\nsymbolic execution on real-world programs. Next, I will implement a prototype system\nthat will leverage the above-mentioned techniques, and to evaluate the\nprecision, efficiency, and automation of the techniques on a set of real-world\nprograms. Third, I will demonstrate the usefulness of symbolic execution on a\nset of real-world Java programs by automatically generating test-inputs for\nthose programs using the prototype.\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":[{"value":"Enabling Techniques for Symbolic Execution of Java Programs"}],"uid":"27466","created_gmt":"2011-04-25 10:04:45","changed_gmt":"2016-10-08 01:54:50","author":"Dani Denton","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2011-04-29T12:00:00-04:00","event_time_end":"2011-04-29T14:00:00-04:00","event_time_end_last":"2011-04-29T14:00:00-04:00","gmt_time_start":"2011-04-29 16:00:00","gmt_time_end":"2011-04-29 18:00:00","gmt_time_end_last":"2011-04-29 18:00:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"groups":[{"id":"47223","name":"College of Computing"},{"id":"50875","name":"School of Computer Science"}],"categories":[],"keywords":[{"id":"12912","name":"Ph.D Thesis Proposal Announcement"},{"id":"167496","name":"Saswat Anand"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}