关注
Wontae Choi
Wontae Choi
在 google.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Guided gui testing of android apps with minimal restart and approximate learning
W Choi, G Necula, K Sen
Acm Sigplan Notices 48 (10), 623-640, 2013
4942013
Multise: Multi-path symbolic execution using value summaries
K Sen, G Necula, L Gong, W Choi
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
1462015
DetReduce: minimizing Android GUI test suites for regression testing
W Choi, K Sen, G Necula, W Wang
Proceedings of the 40th International Conference on Software Engineering …, 2018
412018
Static analysis of multi-staged programs via unstaging translation
W Choi, B Aktemur, K Yi, M Tatsuta
ACM SIGPLAN Notices 46 (1), 81-92, 2011
402011
The implicit calculus: a new foundation for generic programming
BCS Oliveira, T Schrijvers, W Choi, W Lee, K Yi
ACM SIGPLAN Notices 47 (6), 35-44, 2012
332012
SJS: A type system for JavaScript with fixed object layout
W Choi, S Chandra, G Necula, K Sen
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
26*2015
Guide me to exploit: Assisted ROP exploit generation for ActionScript virtual machine
F Yilmaz, M Sridhar, W Choi
Annual Computer Security Applications Conference, 386-400, 2020
52020
Abstract parsing for two-staged languages with concatenation
S Kong, W Choi, K Yi
ACM Sigplan Notices 45 (2), 109-116, 2009
42009
A scalable, flow-and-context-sensitive taint analysis of android applications
W Choi, J Kannan, D Babic
Journal of Computer Languages 51, 1-14, 2019
22019
Experimental Analysis & Refinement of a Guided Exploit Generation Technique for Language Virtual Machines
F Yilmaz, M Sridhar, W Choi
2020
PCC Framework for Program-Generators
S Kong, W Choi, K Yi
Proceedings of the Third International Workshop on Proof-Carrying Code and …, 2009
2009
系统目前无法执行此操作,请稍后再试。
文章 1–11