研究業績

代表的な研究業績

1. Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden, “Validating Ajax Applications Using a Delay-Based Mutation Technique”, Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering (ASE’14), pp. 491-502, September 2014. Acceptance rate: 50/276=18.1%
2. Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe, Shinichi Honiden, “Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications”, Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE’13), pp. 158-168, November 2013. Acceptance rate: 43/254=16.9%

競争的資金

1. 科学研究費補助金（若手研究B），「Webアプリケーションの自動プログラム修正」，2016年度ー2017年度（予定）．
2. (公財)中島記念国際交流財団　日本人若手研究者研究助成金，「ソフトウェアのテスト品質を限られた計算資源に応じて測定する適応型プログラム変異テスト」，2016年度．
3. 科学研究費補助金（研究活動スタート支援），「変異解析に着目したWebアプリケーションの自動プログラム修正」，2015年度．
4. 科学研究費補助金（特別研究員奨励費），「Webアプリケーションの非決定性による欠陥の自動検出」，2014年度．

受賞等

1. 優秀学生賞，国立情報学研究所，2015年3月
2. 優秀賞，トップエスイー修了制作，2011年3月
3. 推薦卒業論文，第72回情報処理学会全国大会，2010年3月