Jonathan Fetter-Degges

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 1

Top Topics

Specification Language

Symbolic Execution

Static Analysis

Test Data Generation

Top Venues

Publications

Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama
Synthesizing framework models for symbolic execution. ICSE (2016)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. CoRR (2015)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. ESORICS (2) (2015)