Eun-Hye Choi

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 20

Top Topics

Logistic Regression

Test Generation

Unsatisfiable Cores

Top Venues

Publications

Kinari Nishiura, Eun-Hye Choi, Eunjong Choi, Osamu Mizuno
Two improving approaches for faulty interaction localization using logistic regression analysis. Softw. Qual. J. 32 (3) (2024)
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. ICTSS (2020)
Masanari Kondo, Daniel M. Germán, Osamu Mizuno, Eun-Hye Choi
The impact of context metrics on just-in-time defect prediction. Empir. Softw. Eng. 25 (1) (2020)
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya
A Satisfiability-Based Approach to Generation of Constrained Locating Arrays. ICST Workshops (2018)
Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. SAFECOMP (2018)
Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi
Log-based Anomaly Detection of CPS Using a Statistical Method. CoRR (2017)
Kinari Nishiura, Eun-Hye Choi, Osamu Mizuno
Improving Faulty Interaction Localization Using Logistic Regression. QRS (2017)
Eun-Hye Choi, Tsuyoshi Fujiwara, Osamu Mizuno
Weighting for Combinatorial Testing by Bayesian Inference. ICST Workshops (2017)
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho
Classification Tree Method with Parameter Shielding. SAFECOMP (2017)
Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi
Log-Based Anomaly Detection of CPS Using a Statistical Method. IWESEP (2017)
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, Osamu Mizuno
A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair. MET@ICSE (2017)
Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi
Greedy combinatorial test case generation using unsatisfiable cores. ASE (2016)
Yukiya Uneno, Osamu Mizuno, Eun-Hye Choi
Using a Distributed Representation of Words in Localizing Relevant Files for Bug Reports. QRS (2016)
Eun-Hye Choi, Osamu Mizuno, Yifan Hu
Code Coverage Analysis of Combinatorial Testing. QuASoQ/TDA@APSEC (2016)
Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada
Distance-Integrated Combinatorial Testing. ISSRE (2016)
Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura
Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. QRS (2016)
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere
Optimization of Combinatorial Testing by Incremental SAT Solving. ICST (2015)
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi
Combinatorial Testing for Tree-Structured Test Models with Constraints. QRS (2015)
Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
Model-Based Testing of Stateful APIs with Modbat. ASE (2015)
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa
Priority Integration for Weighted Combinatorial Testing. COMPSAC (2015)
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa
Design of Prioritized N-Wise Testing. ICTSS (2014)
Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki
Formal Specification Based Automatic Test Generation for Embedded Network Systems. J. Appl. Math. 2014 (2014)
Eun-Hye Choi, Hyun-Suk Hwang, Chang Soo Kim
A Study on the Spatial Analysis Model to Decide Medical Institutions/Mental Health Centers for Disaster Victims. J. Inform. and Commun. Convergence Engineering 9 (4) (2011)
Hitoshi Furusawa, Eun-Hye Choi, Hiroshi Watanabe
Efficiency analysis of model-based review in actual software design. ICSE (2006)
Eun-Hye Choi, Hiroshi Watanabe
Model Checking Class Specifications forWeb Applications. APSEC (2005)