Synthesizing framework models for symbolic execution

Synthesizing framework models for symbolic execution

Symbolic execution is a powerful program analysis technique, but it is difficult to apply to programs built using frameworks such as Swing and Android, because the framework code itself is hard to symbolically execute. The standard solution is to manually create a framework model that can be symboli...

Full description

Bibliographic Details
Main Authors: Jeon, Jinseong (Author), Qiu, Xiaokang (Contributor), Fetter-Degges, Jonathan (Author), Foster, Jeffrey S. (Author), Solar-Lezama, Armando (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Association for Computing Machinery (ACM), 2016-06-09T14:16:51Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items