Instruments Android apps using Soot for dynamic symbolic execution.

People * Dr. Saswat Anand * Prof. Mary Jean Harrold * Prof. Mayur Naik * Prof. Hongseok Yang

References: (Please cite) ``` @inproceedings{AnandNHY12, author = {Saswat Anand and Mayur Naik and Mary Jean Harrold and Hongseok Yang}, title = {Automated concolic testing of smartphone apps}, booktitle = {SIGSOFT FSE}, year = {2012}, pages = {59} }

@inproceedings{AnandH11, author = {Saswat Anand and Mary Jean Harrold}, title = {Heap cloning: Enabling dynamic symbolic execution of java programs}, booktitle = {ASE}, year = {2011}, pages = {33-42} } ```

Acknowledgments: * This research was supported in part by NSF CCF- 0541049, CCF-0725202, and CCF-1116210, and IBM Software Quality Innovation Award to Georgia Tech.