Wontae Choi
Wontae Choi
Verified email at google.com - Homepage
TitleCited byYear
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
3232013
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
822015
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
352011
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
272012
SJS: A type system for JavaScript with fixed object layout
W Choi, S Chandra, G Necula, K Sen
International Static Analysis Symposium, 181-198, 2015
18*2015
DetReduce: minimizing Android GUI test suites for regression testing
W Choi, K Sen, G Necul, W Wang
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
62018
Abstract parsing for two-staged languages with concatenation
S Kong, W Choi, K Yi
ACM Sigplan Notices 45 (2), 109-116, 2009
32009
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
12019
PCC Framework for Program-Generators
S Kong, W Choi, K Yi
2009
The system can't perform the operation now. Try again later.
Articles 1–9