Acteve

Instrument Android apps using Soot for dynamic symbolic execution.

This code was used to perform experiments for the following paper.

@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}
}