13 literature found
[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.
[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.
[1] Akihisa Yamada and Osamu Mizuno, "Analysis on Semantic Orientation of Source Code", 電子情報通信学会技術研究報告, 115(SS2015-77), pp. 7-12, March 2016.
[1] Akihisa Yamada, "ソースコードにおける不具合出現と感情推定の関係分析", 修士学位論文, 京都工芸繊維大学大学院工芸科学研究科, 2016.
[1] Akihisa Yamada and Osamu Mizuno, "Classification of Bug Injected and Fixed Changes Using a Text Discriminator", ACIS International Journal of Software Innovation, 3(1), pp. 50-62, January 2015.
[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.
[1] Akihisa Yamada and Osamu Mizuno, "A Text Filtering Based Approach to Classify Bug Injected and Fixed Changes", Proc. of 12th International Conference on Software Engineering Research, Management and Applications (SERA2014), pp. 680-686, August 2014.
[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.
[2] Akihisa Yamada and Osamu Mizuno, "バグを混入・除去するソースコード差分の判定手法の提案", ソフトウェアシンポジウム2014論文集, pp. 56-64, June 2014.
[1] Akihisa Yamada, , ソースコードの差分を用いたバグを混入・除去する変更の予測手法, 卒業研究報告書, 京都工芸繊維大学, 2014.
Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.
The publications displayed in this list is related to SEL@KIT members only.