Eun-Hye Choi

Eun-Hye Choi

National Institute of Advanced Industrial Science & Technology (AIST) - Tokyo / Japan
Others
AD Scientific Index ID: 4459928
産業技術総合研究所（産総研）
person_outline Eun-Hye Choi's MOST POPULAR ARTICLES
1-) Transaction processing system supporting concurrent accesses to hierarchical data by transactionsE Choi, T KanaiUS Patent App. 10/765,145, 2004662004
2-) Optimization of combinatorial testing by incremental SAT solvingA Yamada, T Kitamura, C Artho, EH Choi, Y Oiwa, A BiereSoftware Testing, Verification and Validation (ICST), 2015 IEEE 8th …, 2015512015
3-) Greedy combinatorial test case generation using unsatisfiable coresA Yamada, A Biere, C Artho, T Kitamura, EH ChoiAutomated Software Engineering (ASE), 2016 31st IEEE/ACM International …, 2016592016
4-) Log-based Anomaly Detection of CPS Using a Statistical MethodY Harada, Y Yamagata, O Mizuno, EH ChoiEmpirical Software Engineering in Practice (IWESEP), 2017 8th International …, 2017622017
5-) XPath-based concurrency control for XML dataEH Choi, T KanaiProceedings of the 14th Data Engineering Workshop (DEWS 2003), 302-313, 2003302003