Concepedia

Wontae Choi

WC

Statistics

Publications

11

Citations

705

H-Index

10

Active since

2008

Affiliations

University of California, Berkeley(Current)

Seoul National University

Konkuk University

Özyeğin University

National Institute of Informatics

Wontae Choi is an author at University of California, Berkeley specializing in engineering, software engineering, and program analysis.

Top concepts

Publications per year

2008–2021

11

Publications

11

Guided GUI testing of android apps with minimal restart and approximate learning

Wontae Choi, George C. Necula, Koushik Sen · 2013 · 320 citations · Full text

, , +15

Guided GUI testing of android apps with minimal restart and approximate learning

Wontae Choi, George C. Necula, Koushik Sen · ACM SIGPLAN Notices · 2013 · 124 citations

, , +15

MultiSE: multi-path symbolic execution using value summaries

Koushik Sen, George C. Necula, Liang Gong et al. · 2015 · 105 citations

, , +20

DetReduce

Wontae Choi, Koushik Sen, George C. Necula et al. · 2018 · 34 citations · Full text

, , +10

The implicit calculus

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi et al. · 2012 · 29 citations

, , +18

1–5 of 11