Speaker Affiliation | Chalmers University of Technology, Göteborg |
Start | 23.05.2011, 17:00 Uhr |
Location | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 |
Invited by | Dr.-Ing. Ina Schaefer |
Symbolic execution of programs is a versatile software analysis technique that recently enjoyed much renewed interest. Traditional usage of symbolic execution in a logic-based setting includes formal verification and model checking, however, symbolic execution engines for Java or bytecode provide also a basis of glass-box test case generation, visualisation of program dynamics, or resource analysis. In this talk we present yet another take on symbolic execution: we show that symbolic execution, when viewed as an advanced forward analysis performed on the abstract syntax tree of a program, can be combined with first-order reasoning, partial evaluation, and usage analysis to implement provably correct program specialization and compilation. |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0