[1] Kinari Nishiura, Eun-Hye Choi, Eunjong Choi, and Osamu Mizuno, "Two Improving Approaches for Faulty Interaction Localization using Logistic Regression Analysis", Software Quality Journal, 32, pp. 1039-1073, June 2024.
[1] Masanari Kondo, Daniel M. German, Osamu Mizuno, and Eun-Hye Choi, "The Impact of Context Metrics on Just-In-Time Defect Prediction", Empirical Software Engineering, 25(1), 890–939, 2020.
[1] Masanari Kondo, Daniel German, Osamu Mizuno, and Eun-Hye Choi, "The Impact of Context Metrics on Just-In-Time Defect Prediction", Journal First/Conference Second track, International Conference on Software Maintenance and Evolution (ICSME 2019), September 2019.
[1] Masanari Kondo, Daniel German, Osamu Mizuno, and Eun-Hye Choi, "SIGSE卓越論文賞: The Impact of Context Lines on Just-In-Time Defect Prediction,", Empirical Software Engineering, August 2019.
[1] 西浦 生成, 崔 銀惠, 水野 修, "機械学習による不具合組み合わせ特定への自動分類法の提案と評価", 情報処理学会論文誌, 59(4), pp. 1215-1224, 2018年4月.
[2] 近藤 将成, 森 啓太, 水野 修, 崔 銀惠, "深層学習によるソースコードコミットからの不具合混入予測", 情報処理学会論文誌, 59(4), pp. 1250-1261, 2018年4月.
[3] Masanari Kondo, Osamu Mizuno, and Eun-Hye Choi, "Causal-Effect Analysis using Bayesian LiNGAM Comparing with Correlation Analysis in Function Point Metrics and Effort", International Journal of Mathematical, Engineering and Management Sciences (IJMEMS), 3(2), 90–112, 2018.
[1] Hao Jin, Takashi Kitamura, Eun-Hye Choi, and Tatsuhiro Tsuchiya, "A Satisfiability-Based Approach to Generation of Constrained Locating Arrays", Proc. of IEEE International Software Testing Verification and Validation Workshop (ICSTW) - 7th Workshop on Combinatorial Testing (IWCT 2018), pp. 285-294, April 2018.
[2] Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Valentin Artho, 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.
[1] 西浦 生成, 崔 銀惠, 水野 修, "ロジスティック回帰分析を利用した組み合わせテスト結果からの不具合誘発パラメータ組み合わせ特定法の改善", ソフトウェア信頼性研究会ワークショップ(FORCE2018), 2018年12月.
[1] 近藤 将成, 森 啓太, 水野 修, 崔 銀惠, "特選論文: 深層学習によるソースコードコミットからの不具合混入予測", 情報処理学会論文誌, 59(4), pp. 1250-1261, 2018年4月.
[2] 近藤 将成, 森 啓太, 水野 修, 崔 銀惠, "善吾賞: 深層学習による不具合混入コミットの予測と評価（SES2017発表論文）", NPO法人 ASTER, 2018年3月.
[1] Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, 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.
[2] Kinari Nishiura, Eun-Hye Choi, and Osamu Mizuno, "Improving Faulty Interaction Localization Using Logistic Regression", Proc. of the 2017 IEEE International Conference on Software Quality, Reliability, and Security (QRS2017), pp. 138-149, July 2017.
[3] Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, and Osamu Mizuno, "A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair", Proc. of 2017 IEEE/ACM 2nd International Workshop on Metamorphic Testing (MET2017) (In conjunction with ICSE2017), pp. 14-20, May 2017.
[4] Eun-Hye Choi, Tsuyoshi Fujiwara, and Osamu Mizuno, "Weighting for Combinatorial Testing by Bayesian Inference", Proc. of 10th IEEE International Conference on Software Testing Verification and Validation Workshop (ICST2017), Posters track, pp. 189-191, March 2017.
[5] Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, and Eun-Hye Choi, "Log-based Anomaly Detection of CPS Using a Statistical Method", Proc. of the 8th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP2017), pp. 1-6, March 2017.
[1] 西浦 生成, 崔 銀惠, 水野 修, "機械学習による不具合組み合わせ特定への自動分類法の提案と評価", ソフトウェアエンジニアリングシンポジウム2017論文集 (SES2017) , pp. 25-34, 2017年8月.
[2] 近藤 将成, 森 啓太, 水野 修, 崔 銀惠, "深層学習による不具合混入コミットの予測と評価", ソフトウェアエンジニアリングシンポジウム2017論文集 (SES2017) , pp. 35-44, 2017年8月.
[1] 金 浩, 崔 銀惠, 土屋 達弘, "SMTを用いた制約付きロケーティングアレイの生成について", 信学技報, pp. 55-60, 2017年10月.
[2] Eun-Hye Choi and Osamu Mizuno, "Towards Quality Improvement and Analysis of Combinatorial Testing", 情報処理学会/ソフトウェア工学研究会 ウィンターワークショップ2017・イン・飛騨高山, pp. 13-14, January 2017.
[1] 西浦 生成, 崔 銀惠, 水野 修, "学生奨励賞: 機械学習による不具合組み合わせ特定への自動分類法の提案と評価", ソフトウェアエンジニアリングシンポジウム2017 (SES2017), 2017年8月.
[2] 近藤 将成, 森 啓太, 水野 修, 崔 銀惠, "最優秀論文賞: 深層学習による不具合混入コミットの予測と評価", ソフトウェアエンジニアリングシンポジウム2017 (SES2017), 2017年8月.
[3] Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, and Eun-Hye Choi, "Best paper award: A Log-Based Anomaly Detection of CPS Using a Statistical Method", the 8th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP2017), March 2017.
[1] Eun-Hye Choi, Osamu Mizuno, and Yifan Hu, "Code Coverage Analysis of Combinatorial Testing", Proc. of 4th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2016), pp. 34-40, December 2016.
[2] Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, and Akihisa Yamada, "Distance-integrated Combinatorial Testing", Proc. of 27th International Symposium on Software Reliability Engineering (ISSRE2016), pp. 93-104, October 2016.
[3] Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, 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.
[4] Yukiya Uneno, Osamu Mizuno, and Eun-Hye Choi, "Using a Distributed Representation of Words in Localizing Relevant Files for Bug Reports", Proc. of the 2016 IEEE International Conference on Software Quality, Reliability, and Security (QRS2016), pp. 183-190, August 2016.
[5] Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, 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.
[1] 西浦 生成, 崔 銀惠, 水野 修, "機械学習を用いた不具合組合せ特定法の提案", ソフトウェア信頼性研究会ワークショップ (FORCE2016), 2016年12月.
[2] 釆野 友紀也, 水野 修, 崔 銀惠, "Word2Vecを用いたバグ報告からの不具合ファイル特定", 電子情報通信学会技術研究報告, 115(SS2015-85), pp. 55-60, 2016年3月.
[3] 河端 駿也, 崔 銀惠, 水野 修, "ベイズ推定を用いた組み合わせテスト最適化手法の提案", 電子情報通信学会技術研究報告, 115(SS2015-95), pp. 115-120, 2016年3月.
[1] Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, and Yoriyuki Yamagata, "Model-based Testing of Stateful APIs with Modbat", Automated Software Engineering (ASE 2015), November 2015.
[2] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and Yutaka Oiwa, "Priority Integration for Weighted Combinatorial Testing", Proc. of the IEEE Computer Software and Applications Conference (COMPSAC2015), pp. 242--247, July 2015.
[3] Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, 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.
[4] Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Ngoc Do, Yutaka Oiwa, 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.
[1] Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, and Hitoshi Osaki, "Formal Specification based Automatic Test Generation for Embedded Network Systems", Journal of Applied Mathematics, 2014(Article ID 909762), 21pages, May 2014.
[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, 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.
[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, 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.
[2] 山形 賴之, 崔 銀惠, Ling Fang, 早水 公二, 田口 研治, 相馬 大輔, 大岩 寛, "電気ノイズによるマイクロコントローラ障害分析のための改良FMEA", 第44回信頼性・保全性シンポジウム 発表報文集, 2014年.
[1] 崔 銀惠, 北村 崇師, アルト シリル, 大岩 寛, テスト方法及びテスト装置（特願2014-174852）, 2014年8月.
[2] 安藤 崇央, 崔 銀惠, 西原 秀明, テスト仕様生成装置、テスト仕様生成方法、およびプログラム（特願2013-505910）, 2014年7月.
[1] Takahiro Ando, Shinji Kawasaki, Eun-Hye Choi, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshioka, Keisuke Shimatani, Munekazu Furuichi, and Osamu Mizuno, "Development of Formal Model Based Test -- Toward Automatic Testing Framework for Embedded Systems --", Proc. of 22nd International Symposium on Software Reliability Engineering (ISSRE2011), Supplemental proceedings, November 2011.
[1] Eun-Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, and Osamu Mizuno, "SENS - Specification Language for Embedded Network Systems - toward Automatic Test Generation (Preliminary Version)", Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology, 2011.
[1] 崔 銀惠, 尾崎 弘幸, 中原 早生, 木下 佳樹, 青木 祐浩, 吉坂 圭一, 三根 博史, 清水 徹, "組込みネットワークシステムの形式モデル指向テストに向けて", ソフトウェア信頼性研究会第6回ワークショップ(FORCE2010)論文集, pp. 4--17, 2010年.
[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", Proc. of First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD2009), pp. 138-142, March 2009.
[1] Eun-Hye Choi and Yoshiki Kinoshita, "Cluster in the Loop Simulation Framework based on Formal Model-based Testing for Embedded Network Systems", Workshop on Simulation based Development of Certified Embedded Systems (SBDCES), October 2009.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules under Various Rule Processing Strategies", IPSJ Transactions on Databases, 47(19), pp. 14-27, December 2006.
[1] Moonzoo Kim and Eun-Hye Choi, "Formal Modeling and Verification of Management on a Group of Network Security Appliances", Proc. of the 7th International Workshop on Information Security Applications, August 2006.
[2] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design", Proc. of the International Conference on Software Engineering (ICSE2006), Far East Experience Track, pp. 604-607, May 2006.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules", Proceedings of the 17th Data Engineering Workshop (DEWS 2006), pp. 1-8, March 2006.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", 算譜科学研究速報, (PS-2006-013), pp. 1-21, November 2006.
[2] Moonzoo Kim and Eun-Hye Choi, "Formal Modeling and Verification of Management on a Group of Network Security Appliances", 算譜科学研究速報, (PS-2006-007), July 2006.
[3] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules", 算譜科学研究速報, (PS-2006-001), February 2006.
[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", 第４回ディペンダブルソフトウェアワークショップ(DSW06-2), December 2006.
[1] 崔 銀惠, 河本 貴則, 渡邊 宏, "画面遷移仕様のモデル検査", 日本ソフトウェア科学会コンピュータソフトウェア, 22(3), pp. 146-153, 2005年7月.
[1] Eun-Hye Choi and Hiroshi Watanabe, "Model Checking Class Specifications for Web Applications", Proc. of the twelfth Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 67-75, December 2005.
[1] 古澤 仁, 渡邊 宏, 河本 貴則, 崔 銀惠, "形式的手法の便益性評価のためのデータ収集実験", 第二回システム検証の科学技術シンポジウム予稿集, pp. 196-204, 2005年10月.
[2] 崔 銀惠, 渡邊 宏, "Webアプリケーションのクラス設計仕様に対するモデル化と検証", ソフトウェアテストシンポジウム2005予稿集, 2005年1月.
[1] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design", 算譜科学研究速報, (PS-2005-018), December 2005.
[1] 崔 銀惠, 金井 達徳, トランザクション処理システム、並行制御方法及びプログラム（特願2003-025164）, 2004年8月.
[2] Eun-Hye Choi and Tatsunori Kanai, Transaction processing system supporting concurrent accesses to hierarchical data by transactions (US20040267747) , 2004.
[1] Eun-Hye Choi and Tatsunori Kanai, "XPath-based Concurrency Control in XML Document Management", IPSJ Transactions on Databases, 44(SIG 18(TOD20)), pp. 17-31, December 2003.
[1] Eun-Hye CHOI and Tatsunori KANAI, "XPath-based Concurrency Control for XML Data", Proceedings of the 14th Data Engineering Workshop (DEWS2003), 2003.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Optimal k-Coteries That Maximize Availability in General Networks", Proc. of 16th International Conference on Information Networking (ICOIN-16), Lecture Notes in Computer Science , pp. 596-608, January 2002.
[1] Eun-Hye Choi, "Design and Evaluation of k-Coteries for Distributed k-Mutual Exclusion", Ph.D. thesis, Graduate School of Engineering Science, Osaka University, 2002.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Hierarchical Dependability Modeling of Distributed Systems with Replicated Resources", IEICE Transactions on Information and Systems, E84-D(5), pp. 692-699, May 2001.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Constructing Optimal k-Coteries in General Networks", 電子情報通信学会技術研究報告, 100(569), pp. 41--48, January 2001.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "New Constructions for Nondominated k-Coteries", IEICE Transactions on Information and Systems, E83-D(7), pp. 1526-1532, July 2000.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "New Construction of k-Coteries That Dominate k-Majority Coteries", Proc. of 1999 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC99), pp. 1116-1119, July 1999.
[2] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "On the Availability of K-Coteries in Networks with Unreliable Nodes and Links", Proc. of the 4th International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS99), pp. 225-237, February 1999.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Availability Evaluation of K-Coteries on Distributed Systems with Unreliable Nodes and Links", Proc. of 1998 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC98), pp. 1685-1690, July 1998.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Availability Evaluation of k-Coteries on Distributed Systems with Unreliable Nodes and Links", 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 98(86), pp. 25--32, May 1998.
[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Hierarchical Modeling and Evaluation of Distributed Systems", Proc. of IEEE Pacific Rim International Conference on Fault-Tolerant Systems (PRFTS97), pp. 91-96, December 1997.
Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.
ここのリストで表示される文献は，SEL@KIT在籍者に関連するもののみになります．