2018

International Conference

[1] Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Valentin Artho, and and Angelo Gargantini, "Optimal Test Suite Generation for Modified Condition Decision Coverage using SAT solving", Proc. of The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pp. 123-138, 2018.

2017

International Conference

[1] Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, and and Cyrille Valentin Artho, "Classification Tree Method with Parameter Shielding", Proc. of the 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017), pp. 230-241, September 2017.

2016

International Conference

[1] Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, and and Akihisa Yamada, "Distance-integrated Combinatorial Testing", Proc. of 27th International Symposium on Software Reliability Engineering (ISSRE2016), pp. 93-104, October 2016.

[2] Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, and and Eun-Hye Choi, "Greedy Combinatorial Test Case Generation using Unsatisfiable Cores", Proc. of 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), September 2016.

[3] Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, and and Takashi Kitamura, "Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study", Proc. of the 2016 IEEE International Conference on Software Quality, Reliability, and Security (QRS2016), pp. 61-68, August 2016.

2015

International Conference

[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and and Yutaka Oiwa, "Priority Integration for Weighted Combinatorial Testing", Proc. of the IEEE Computer Software and Applications Conference (COMPSAC2015), pp. 242--247, July 2015.

[2] Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, and and Armin Biere, "Optimization of Combinatorial Testing by Incremental SAT Solving", Proc. of the IEEE International Conference on Software Testing, Verification, and Validation (ICST2015), April 2015.

[3] Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Ngoc Do, Yutaka Oiwa, and and Shinya Sakuragi, "Combinatorial Testing for Tree-Structured Test Models with Constraints", The 2015 International Conference on Software Quality, Reliability and Security (QRS), Best Paper, pp. 141--150, 2015.

2014

International Conference

[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, and and Yutaka Oiwa, "Design of Prioritized N-Wise Testing", Proc. of the 26th IFIP International Conference on Testing Software and Systems (ICTSS2014), LNCS 8763, pp. 186--191, September 2014.

Domestic Conference

[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and and Yutaka Oiwa, "T-wise test construction improving (T+1)-way coverage", Poster Presentation in the 6th International Workshop of Software Engineering in Practice (IWESEP2014), November 2014.

Patent

[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, and and Yutaka Oiwa, テスト方法及びテスト装置（特願2014-174852）,  August 2014.