前澤悠太

Yuta Maezawa

研究テーマ

自動ソフトウェア工学（Automated Software Engineering）、特にソフトウェアテストとデバッグの研究に取り組んでいます。Web アプリケーションを対象にした研究から始まり、近年は深層学習を用いたシステムの品質保証に取り組んでいます。

機械学習システムの品質保証
深層ニューラルネットワーク（DNN）の誤った振る舞いを、正しい振る舞いを損なわずに修正する技術や、要求と実装の対応関係（トレーサビリティ）をたどることで深層学習システムの品質を高める技術に取り組んでいます。
テストの自動化と自動プログラム修正
ミューテーション解析を活用した Web アプリケーションの自動プログラム修正や、既存の単体テストをパラメータ化単体テストへ自動で変換する技術を研究しています。
Web アプリケーションのテストと解析
Ajax を用いた Web アプリケーションを対象に、ユーザー操作と非同期通信の相互作用に着目して、状態遷移モデルの抽出、不変条件の自動検証、通信の遅延に着目したミューテーション解析によるテストの評価を研究しています。

Validating Ajax Applications Using a Delay-Based Mutation Technique
Yuta Maezawa et al.
The 29th ACM/IEEE International Conference on Automated Software Engineering (ASE'14), pp.491-502, 2014年9月 (採択率: 50/276 (18.1%))
Automated Verification of Pattern-Based Interaction Invariants in Ajax Applications
Yuta Maezawa et al.
The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13), pp.158-168, 2013年11月 (採択率: 43/254 (16.9%))

開発したソフトウェアは GitHub で公開しています。