Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. - Kristopher K. Micinski; Jonathan Fetter-Degges; Jinseong Jeon; Jeffrey S. Foster; Michael R. Clarkson (ESORICS (2), 2015)

Synthesizing framework models for symbolic execution. - Jinseong Jeon; Xiaokang Qiu; Jonathan Fetter-Degges; Jeffrey S. Foster; Armando Solar-Lezama (ICSE, 2016)