Wontae Choi - Concepedia

Author

Wontae Choi

University of California, Berkeley

Also Known As

Choi, Wontae, Won-Tae Choi, WonTae Choi, Wontae CHOI, Wontae Choi

Publications

762

Citations

H-Index

Concepts

All Affiliations

University of California, Berkeley Seoul National University Konkuk University Özyeğin University National Institute of Informatics

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	675
2	Computer Engineering	4	4	160
3	Education	2	2	30
4	Business	1	1	17
5	Public Health	1	1	13

Wontae Choi

Publications

705

Citations

H-Index

Page 1

	Year	Citations
Guided GUI testing of android apps with minimal restart and approximate learning Wontae Choi, George C. Necula, Koushik Sen Manual TestingEngineeringMachine LearningProgram AnalysisTesting Technique	2013	320
Guided GUI testing of android apps with minimal restart and approximate learning Wontae Choi, George C. Necula, Koushik Sen ACM SIGPLAN Notices Manual TestingEngineeringMachine LearningProgram AnalysisTesting Technique	2013	124
MultiSE: multi-path symbolic execution using value summaries Koushik Sen, George C. Necula, Liang Gong, EngineeringComputer ArchitectureSoftware EngineeringSoftware AnalysisSymbolic Computation	2015	105
DetReduce Wontae Choi, Koushik Sen, George C. Necula, EngineeringLong TimeProgram AnalysisTesting TechniqueSoftware Testing	2018	34
The implicit calculus Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, EngineeringGeometrySoftware EngineeringFoundational CalculusSoftware Analysis	2012	29
Static analysis of multi-staged programs via unstaging translation Wontae Choi, Barış Aktemur, Kwangkeun Yi, ACM SIGPLAN Notices Software MaintenanceEngineeringConventional Static AnalysisVerificationSoftware Engineering	2011	22
Development and Application of Mobile Technology in South Korean Libraries Wontae Choi Libri Library DesignMobile InteractionSouth KoreaMobile LearningInternational Librarianship	2009	17
Design and implementation of 16-bit fixed point digital signal processor Donghoon Lee, Chanwon Ryu, Jusung Park, EngineeringHardware AccelerationCircuit SystemMixed-signal Integrated CircuitAnalog Design	2008	16
Static analysis of multi-staged programs via unstaging translation Wontae Choi, Barış Aktemur, Kwangkeun Yi, Software MaintenanceEngineeringConventional Static AnalysisVerificationSoftware Engineering	2011	15
Dietary supplementation of acetate-conjugated tryptophan alters feed intake, milk yield and composition, blood profile, physiological variables, and heat shock protein gene expression in heat-stressed dairy cows Wontae Choi, Jalil Ghassemi Nejad, Jun-Ok Moon, Journal of Thermal Biology Animal PhysiologyNutritionAcetate-conjugated Tryptophan AltersAnimal NutritionAnimal Science	2021	13

Page 1