David Mitchel Perry

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 5

Top Topics

Programming Assignments

Android Application

Symbolic Execution

Top Venues

Publications

David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang
SemCluster: clustering of imperative programming assignments based on quantitative semantic features. PLDI (2019)
Wei You, Xuwei Liu, Shiqing Ma, David Mitchel Perry, Xiangyu Zhang, Bin Liang
SLF: fuzzing without valid seed inputs. ICSE (2019)
Jianjun Huang, Yousra Aafer, David Mitchel Perry, Xiangyu Zhang, Chen Tian
UI driven Android application reduction. ASE (2017)
David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar
Accelerating array constraints in symbolic execution. ISSTA (2017)
Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera
Apex: automatic programming assignment error explanation. OOPSLA (2016)