Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

この検索内の頻出タグ: testing:14 systems:11 combinatorial:10 test:9 distributed:8 model:8 checking:7 generation:6 analysis:5 formal:5 network:5 availability:4 embedded:4 evaluation:4 k-coteries:4 model-based:4 modeling:4 -coteries:3 active:3 asynchronous:3 atomic:3 automatic:3 commitment:3 coverage:3 database:3 design:3 hierarchical:3 k:3 links:3 management:3

69 件の該当がありました. : このページのURL : HTML : RSS


学術論文誌(査読有)
[1] Masanari Kondo, Daniel German, Osamu Mizuno, and Eun-Hye Choi, "The Impact of Context Lines on Just-In-Time Defect Prediction," Empirical Software Engineering, 採録済.
[2] Kinari Nishiura, Eun-Hye Choi, and Osamu Mizuno, "機械学習による不具合組み合わせ特定への自動分類法の提案と評価," 情報処理学会論文誌, volume 59, number 4, pages 1215-1224 April 2018.
[3] Masanari Kondo, Keita Mori, Osamu Mizuno, and Eun-Hye Choi, "深層学習による不具合混入コミットの予測と評価," 情報処理学会論文誌, volume 59, number 4, pages 1215-1261 April 2018.
[4] 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), volume 3, number 2, pages 90-112 2018.
[5] 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, volume 2014, number Article ID 909762, page 21 May 2014. [pdf]
[6] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules under Various Rule Processing Strategies," IPSJ Transactions on Databases, volume 47, number 19, pages 14-27 December 2006. [pdf]
[7] 崔 銀惠, 河本 貴則, 渡邊 宏, "画面遷移仕様のモデル検査," 日本ソフトウェア科学会コンピュータソフトウェア, volume 22, number 3, pages 146-153 2005年7月. [pdf]
[8] Eun-Hye Choi and Tatsunori Kanai, "Xpath-Based Concurrency Control in Xml Document Management," IPSJ Transactions on Databases, volume 44, number SIG 18(TOD20), pages 17-31 December 2003. [pdf]
[9] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Hierarchical Dependability Modeling of Distributed Systems with Replicated Resources," IEICE Transactions on Information and Systems, volume E84-D, number 5, pages 692-699 May 2001. [pdf]
[10] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "New Constructions for Nondominated k-Coteries," IEICE Transactions on Information and Systems, volume E83-D, number 7, pages 1526-1532 July 2000. [pdf]
国際会議録(査読有)
[1] Masanari Kondo, Daniel German, Osamu Mizuno, and Eun-Hye Choi, "The Impact of Context Lines on Just-In-Time Defect Prediction," In Journal First/Conference Second track, International Conference on Software Maintenance and Evolution (ICSME 2019), 採録済.
[2] Hao Jin, Takashi Kitamura, Eun-Hye Choi, and Tatsuhiro Tsuchiya, "A Satisfiability-Based Approach to Generation of Constrained Locating Arrays," In Proc. of IEEE International Software Testing Verification and Validation Workshop (ICSTW) - 7th Workshop on Combinatorial Testing (IWCT 2018), Best Paper, pages 285-294 April 2018.
[3] 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," In Proc. of The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pages 123-138 2018.
[4] Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, and Cyrille Valentin Artho, "Classification Tree Method with Parameter Shielding," In Proc. of the 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017), pages 230-241 September 2017.
[5] Kinari Nishiura, Eun-Hye Choi, and Osamu Mizuno, "Improving Faulty Interaction Localization Using Logistic Regression," In Proc. of the 2017 IEEE International Conference on Software Quality, Reliability & Security (QRS2017), pages 138--149 July 2017. [pdf]
[6] 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," In Proceedings of the 2017 IEEE/ACM 2nd International Workshop on Metamorphic Testing (In conjunction with ICSE2017), pages 14-20 May 2017. [pdf]
[7] Eun-Hye Choi, Tsuyoshi Fujiwara, and Osamu Mizuno, "Weighting for Combinatorial Testing by Bayesian Inference," In Proc. of IEEE International Conference on Software Testing, Verification and Validation Workshop (ICST2017 Posters Track), pages 189-191 March 2017. [pdf]
[8] Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, and Eun-Hye Choi, "A Log-Based Anomaly Detection of CPS Using a Statistical Method," In Proc. of the 8th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP), Best Paper, pages 1-6 March 2017. [pdf]
[9] Eun-Hye Choi, Osamu Mizuno, and Yifan Hu, "Code Coverage Analysis of Combinatorial Testing," In Proc. of 4th International Workshop on Quantitative Approaches to Software Quality(QUASoQ 2016), in conjunction with APSEC 2016, pages 34--40 December 2016. [pdf] [presentation]
[10] Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, and Akihisa Yamada, "Distance-Integrated Combinatorial Testing," In Proc. of 27th International Symposium on Software Reliability Engineering (ISSRE2016), pages 93-104 October 2016. [pdf]
[11] Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, and Eun-Hye Choi, "Greedy Combinatorial Test Case Generation Using Unsatisfiable Cores," In Proc. of 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), number 614--624, September 2016. [pdf]
[12] Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, and Takashi Kitamura, "Test Effectiveness Evaluation of Prioritized Combinatorial Testing: a Case Study," In Proc. of the 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS2016), pages 61--68 August 2016. [pdf]
[13] Yukiya Uneno, Osamu Mizuno, and Eun-Hye Choi, "Using a Distributed Representation of Words in Localizing Relevant Files for Bug Reports," In Proc. of the 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS2016), pages 183--190 August 2016. [pdf]
[14] 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," In Automated Software Engineering (ASE 2015), November 2015. [pdf]
[15] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and Yutaka Oiwa, "Priority Integration for Weighted Combinatorial Testing," In Proc. of the IEEE Computer Software and Applications Conference (COMPSAC2015), pages 242--247 July 2015. [pdf]
[16] Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, and Armin Biere, "Optimization of Combinatorial Testing by Incremental Sat Solving," In Proc. of the IEEE International Conference on Software Testing, Verification, and Validation (ICST2015), April 2015. [pdf]
[17] 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," In The 2015 International Conference on Software Quality, Reliability and Security (QRS), Best Paper, pages 141--150 2015. [pdf]
[18] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, and Yutaka Oiwa, "Design of Prioritized N-Wise Testing," In Proc. of the 26th IFIP International Conference on Testing Software and Systems (ICTSS2014), LNCS 8763, pages 186--191 September 2014. [pdf]
[19] 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 --," In Proc. of 22nd International Symposium on Software Reliability Engineering (ISSRE2011), Supplemental proceedings, number 4-4, November 2011. [pdf]
[20] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems," In Proc. of First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD2009), pages 138-142 March 2009. [pdf]
[21] Moonzoo Kim and Eun-Hye Choi, "Formal Modeling and Verification of Management on a Group of Network Security Appliances," In Proc. of the 7th International Workshop on Information Security Applications, August 2006. [pdf]
[22] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design," In Proc. of the International Conference on Software Engineering (ICSE2006), Far East Experience Track, pages 604-607 May 2006. [pdf]
[23] Eun-Hye Choi and Hiroshi Watanabe, "Model Checking Class Specifications for Web Applications," In Proc. of the twelfth Asia-Pacific Software Engineering Conference (APSEC 2005), pages 67-75 December 2005. [pdf]
[24] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Optimal k-Coteries That Maximize Availability in General Networks," In Proc. of 16th International Conference on Information Networking (ICOIN-16), Lecture Notes in Computer Science , volume 2344, pages 596-608 January 2002. [pdf]
[25] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "New Construction of k-Coteries That Dominate k-Majority Coteries," In Proc. of 1999 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC99), pages 1116-1119 July 1999.
[26] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "On the Availability of K-Coteries in Networks with Unreliable Nodes and Links," In Proc. of the 4th International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS99), pages 225-237 February 1999. [pdf]
[27] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Availability Evaluation of K-Coteries on Distributed Systems with Unreliable Nodes and Links," In Proc. of 1998 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC98), pages 1685-1690 July 1998.
[28] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Hierarchical Modeling and Evaluation of Distributed Systems," In Proc. of IEEE Pacific Rim International Conference on Fault-Tolerant Systems (PRFTS97), pages 91-96 December 1997. [pdf]
国際ワークショップ(査読有)
[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and Yutaka Oiwa, "T-Wise Test Construction Improving (T+1)-Way Coverage," In Poster Presentation in the 6th International Workshop of Software Engineering in Practice (IWESEP2014), November 2014.
国内ワークショップ(査読有)
[1] 西浦 生成, 崔 銀惠, 水野 修, " 機械学習による不具合組み合わせ特定への自動分類法の提案と評価," ソフトウェアエンジニアリングシンポジウム2017論文集, pages 25-34 2017年8月. [pdf]
[2] 近藤 将成, 森 啓太, 水野 修, 崔 銀惠, " 深層学習による不具合混入コミットの予測と評価," ソフトウェアエンジニアリングシンポジウム2017論文集, Best Paper, pages 35-45 2017年8月. [pdf]
[3] Eun-Hye Choi and Osamu Mizuno, "Towards Quality Improvement and Analysis of Combinatorial Testing," In IPSJ/SIGSE Winter Workshop 2017 in Hida-Takayama (WWS2017), pages 13--14 January 2017. [pdf]
[4] 西浦生成, 崔銀惠, 水野修, "ロジスティック回帰分析を用いた組合せテストの不具合特定法の提案," 第 23 回ソフトウェア工学の基礎ワークショップ (FOSE2016), pages 243--244 2016年12月. [pdf]
[5] 山形 賴之, 崔 銀惠, Ling Fang, 早水 公二, 田口 研治, 相馬 大輔, 大岩 寛, "電気ノイズによるマイクロコントローラ障害分析のための改良FMEA," 第44回信頼性・保全性シンポジウム 発表報文集, 2014年.
[6] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules," In Proceedings of the 17th Data Engineering Workshop (DEWS 2006), number 1C-i4, pages 1-8 March 2006. [pdf]
[7] 古澤 仁, 渡邊 宏, 河本 貴則, 崔 銀惠, "形式的手法の便益性評価のためのデータ収集実験," 第二回システム検証の科学技術シンポジウム予稿集, pages 196-204 2005年10月.
[8] 崔 銀惠, 渡邊 宏, "Webアプリケーションのクラス設計仕様に対するモデル化と検証," ソフトウェアテストシンポジウム2005予稿集, 2005年1月. [pdf]
[9] Eun-Hye CHOI and Tatsunori KANAI, "Xpath-Based Concurrency Control for Xml Data," In Proceedings of the 14th Data Engineering Workshop (DEWS2003), 2003. [pdf]
国際ワークショップ(査読無)
[1] Eun-Hye Choi and Yoshiki Kinoshita, "Cluster in the Loop Simulation Framework Based on Formal Model-Based Testing for Embedded Network Systems," In Workshop on Simulation based Development of Certified Embedded Systems (SBDCES), October 2009.
国内ワークショップ(査読無)
[1] 金 浩, 崔 銀惠, 土屋 達弘, "SMTを用いた制約付きロケーティングアレイの生成について," 信学技報, volume 117, number 249, DC2017-29, pages 55-60 2017年10月. [pdf]
[2] 西浦生成, 崔銀惠, 水野修, "機械学習を用いた不具合組合せ特定法の提案," ソフトウェア信頼性研究会ワークショップ (FORCE2016), 2016年12月.
[3] 河端 駿也, 崔 銀惠, 水野 修, "ベイズ推定を用いた組み合わせテスト最適化手法の提案," 電子情報通信学会技術研究報告, volume 115, number SS2015-95, pages 115-120 2016年3月.
[4] 釆野 友紀也, 水野 修, 崔 銀惠, "Word2Vecを用いたバグ報告からの不具合ファイル特定," 電子情報通信学会技術研究報告, volume 115, number SS2015-85, pages 55-60 2016年3月.
[5] 崔 銀惠, 尾崎 弘幸, 中原 早生, 木下 佳樹, 青木 祐浩, 吉坂 圭一, 三根 博史, 清水 徹, "組込みネットワークシステムの形式モデル指向テストに向けて," ソフトウェア信頼性研究会第6回ワークショップ(FORCE2010)論文集, pages 4--17 2010年.
[6] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems," In 第4回ディペンダブルソフトウェアワークショップ(DSW06-2), December 2006.
[7] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Constructing Optimal K-Coteries in General Networks," In 電子情報通信学会技術研究報告 : 信学技報, volume 100, number 569, pages 41--48 January 2001. [pdf]
[8] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Availability Evaluation of K-Coteries on Distributed Systems with Unreliable Nodes and Links," In 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, volume 98, number 86, pages 25--32 May 1998.
テクニカルレポート(査読無)
[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)," number PS-2011-002, Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology, August 2011.
[2] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems," In 算譜科学研究速報, (PS-2006-013), pages 1-21 November 2006.
[3] Moonzoo Kim and Eun-Hye Choi, "Formal Modeling and Verification of Management on a Group of Network Security Appliances," In 算譜科学研究速報, (PS-2006-007), July 2006. [pdf]
[4] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules," In 算譜科学研究速報, (PS-2006-001), February 2006.
[5] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design," In 算譜科学研究速報, (PS-2005-018), December 2005.
特許
[1] 崔 銀惠, 北村 崇師, アルト シリル, 大岩 寛, テスト方法及びテスト装置(特願2014-174852), , 2014年.
[2] 安藤 崇央, 崔 銀惠, 西原 秀明, テスト仕様生成装置、テスト仕様生成方法、およびプログラム(特願2013-505910), , 2014年.
[3] 崔 銀惠, 金井 達徳, トランザクション処理システム、並行制御方法及びプログラム(特願2003-025164), , 2004年.
[4] Eun-Hye Choi and Tatsunori Kanai, Transaction Processing System Supporting Concurrent Accesses to Hierarchical Data by Transactions (Us20040267747), , 2004.
受賞
[1] Masanari Kondo, Keita Mori, Osamu Mizuno, and Eun-Hye Choi, "特選論文: 深層学習による不具合混入コミットの予測と評価," 情報処理学会論文誌, volume 59, number 4, pages 1215-1261 April 2018.
[2] 近藤 将成, 森 啓太, 水野 修, 崔 銀惠, "善吾賞: 深層学習による不具合混入コミットの予測と評価," SES2017発表論文,NPO法人 ASTER, 2018年3月.
[3] 近藤 将成, 森 啓太, 水野 修, 崔 銀惠, "善吾賞: 深層学習による不具合混入コミットの予測と評価," ソフトウェアエンジニアリングシンポジウム2017発表論文, NPO法人 ASTER, 2018年3月.