Publications | David Perry

Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, Chen Tian. UI Driven Android Application Reduction. UI Driven Android Application Reduction, 2018.

David Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar. Accelerating Array Constraints in Symbolic Execution. Accelerating array constraints in symbolic execution, 2018.

Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodrigues-Rivera. Apex: Automatic Programming Assignment Error Explanation. 2018.