| 2018 | ICST | A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. | Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya |
| 2018 | SAFECOMP | Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. | Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini |
| 2017 | ICSE | A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair. | Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, Osamu Mizuno |
| 2017 | ICST | Weighting for Combinatorial Testing by Bayesian Inference. | Eun-Hye Choi, Tsuyoshi Fujiwara, Osamu Mizuno |
| 2017 | QRS | Improving Faulty Interaction Localization Using Logistic Regression. | Kinari Nishiura, Eun-Hye Choi, Osamu Mizuno |
| 2017 | SAFECOMP | Classification Tree Method with Parameter Shielding. | Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho |
| 2016 | APSEC | Code Coverage Analysis of Combinatorial Testing. | Eun-Hye Choi, Osamu Mizuno, Yifan Hu |
| 2016 | ISSRE | Distance-Integrated Combinatorial Testing. | Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada |
| 2016 | QRS | Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. | Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura |
| 2016 | QRS | Using a Distributed Representation of Words in Localizing Relevant Files for Bug Reports. | Yukiya Uneno, Osamu Mizuno, Eun-Hye Choi |
| 2015 | COMPSAC | Priority Integration for Weighted Combinatorial Testing. | Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa |
| 2015 | ICST | Optimization of Combinatorial Testing by Incremental SAT Solving. | Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere |
| 2015 | QRS | Combinatorial Testing for Tree-Structured Test Models with Constraints. | Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi |
| 2006 | ICSE | Efficiency analysis of model-based review in actual software design. | Hitoshi Furusawa, Eun-Hye Choi, Hiroshi Watanabe |
| 2005 | APSEC | Model Checking Class Specifications forWeb Applications. | Eun-Hye Choi, Hiroshi Watanabe |