Publications

論文・競争的資金

2024 国際会議 Technical Briefing on Deep Neural Network Repair IEEE/ACM International Conference on Software Engineering (ICSE'24)
2023 論文誌 DLiP-PPI library: An integrated chemical database of small-to-medium-sized molecules targeting protein-protein interactions Frontiers in Chemistry, 2023
2021 競争的資金要求と実装のトレーサビリティー追求による深層学習システムの高品質化科学研究費補助金（基盤研究(B)）, 2021年度－2024年度（研究分担者）
2018 国際会議 AutoPUT: An Automated Technique for Retrofitting Closed Unit Tests into Parameterized Unit Tests ACM/SIGAPP Symposium on Applied Computing (SAC'18)
2018 書籍アジャイルイントロダクション近代科学社, 2018年
2016 競争的資金 Webアプリケーションの自動プログラム修正科学研究費補助金（若手研究B）, 2016年度－2017年度（研究代表者）
2016 競争的資金ソフトウェアのテスト品質を限られた計算資源に応じて測定する適応型プログラム変異テスト中島記念国際交流財団日本人若手研究者研究助成金, 2016年度（研究代表者）
2015 競争的資金変異解析に着目したWebアプリケーションの自動プログラム修正科学研究費補助金（研究活動スタート支援）, 2015年度（研究代表者）
2014 競争的資金 Webアプリケーションの非決定性による欠陥の自動検出科学研究費補助金（特別研究員奨励費）, 2014年度（研究代表者）
2014 国際会議 Validating Ajax Applications Using a Delay-Based Mutation Technique ACM/IEEE International Conference on Automated Software Engineering (ASE'14)
2014 国内会議 MVC Webアプリケーションの機能縮退を考慮した振舞い検証ソフトウェアエンジニアリングシンポジウム（SES'14）
2014 国内会議 Scalaの並行プログラム検査における状態空間探索手法ソフトウェアエンジニアリングシンポジウム（SES'14）
2013 論文誌インタラクションに着目したステートマシン抽出によるRich Internet Applicationsの欠陥発見の支援情報処理学会論文誌, Vol.52 (No.2), 2013
2013 国際会議 Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications IEEE/ACM International Conference on Automated Software Engineering (ASE'13)
2013 国際会議 Mutation Analysis for JavaScript Web Applications Testing International Conference on Software Engineering and Knowledge Engineering (SEKE'13)
2012 国際会議 Supporting View Transition Design of Smartphone Applications Using Web Templates International Conference on Web Engineering (ICWE'12)
2012 国際会議 Extracting Interaction-Based Stateful Behavior in Rich Internet Applications European Conference on Software Maintenance and Reengineering (CSMR'12)
2010 国内会議相互作用オカレンスに着目したシーケンス図の三次元化に関する研究情報処理学会第72回全国大会