このエントリーをはてなブックマークに追加

12月

14

第1回AI4SEセミナー

AIによるテスト・デバッグ技術

主催 : AI4SEグループ

ハッシュタグ :#AI4SE
募集内容

ライトニングトーク発表者

無料

先着順
1/4

一般参加

無料

先着順
157/80

イベントの説明

セミナーの目的

AI4SEセミナーは、AIのソフトウェアエンジニアリングへの応用について学び議論する場です。

セミナーの内容

最近Facebookが自動テスト生成ツールSapienz・自動プログラム修正ツールSapFixを発表し,話題になりました.また深層学習モデルに対する自動テスト生成ツールDeepXploreなども,機械学習モデルのためのテスト研究のさきがけとなった取り組みとしてよく知られています.第1回はAIを活用したテスト・デバッグ技術を中心に、チュートリアル,3人の専門家によるプレゼンテーション、一般参加者のライトニングトークおよび討議を行います。

プログラム

チュートリアル(石川冬樹、国立情報学研究所)

本チュートリアルでは,AIを活用したテスト・デバッグ技術として,Falsification(反例探索),Search-based Testing/Search-based Software Engineering,Automated Repair(自動修正)の技術の基礎とその動向を概観します.

バグ自動修正ツールって本当に使えるの? ~自動デバッグ技術の現状と課題~ (徳本晋、富士通研究所)

弊社で取り組んでいる機械学習を用いた自動デバッグ技術を紹介するとともに、現状のバグ自動修正ツールはどのようなバグが修正できて、今後どのような方向に進んでいくかについてお話しします。

自動(運転)車システムのためのAI的自動テスト生成(石川冬樹、国立情報学研究所)

制御系(MATLAB/Simulinkモデル)や,機械学習を用いた物体識別や進路判断の機能など,自動車システムに対するAI的自動テスト生成の研究動向と,我々のプロジェクトでの取り組みについて紹介します.

深層強化学習による制御系の検証の試み(山形賴之、産総研)

碁やアーケードゲームで人間を超える能力を発揮し、またロボットなどに応用が広がる深層強化学習が注目を集めています。この 深層強化学習を用いて、制御系(MATLAB/Simulinkモデル)が与えられた仕様の通り振る舞わない実行パスを探索する(反例探索・Falsification)試みについて報告します。

ライトニングトーク(4講演・各5分)

タイムテーブル

時刻 プログラム 発表者
18:00 -- 18:30 オープニングおよびチュートリアル 石川冬樹、国立情報学研究所
18:30 -- 19:00 バグ自動修正ツールって本当に使えるの? 徳本晋、 富士通研
19:10 -- 19:40 自動(運転)車システムのためのAI的自動テスト生成 石川冬樹、国立情報学研究所
19:40 -- 20:10 深層強化学習による制御系の検証の試み 山形賴之、産総研
20:10 -- 20:30 ライトニングトーク ライトニングトーク発表者
20:30 -- 21:00 交流会 全員

発表者

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

yoriyuki

yoriyuki さんが 第1回AI4SEセミナー を公開しました。

2018/10/12 12:48

第1回AI4SEセミナー を公開しました!AI4SEセミナーは、AIのソフトウェアエンジニアリングへの応用について学び議論する場です。第1回はAIを活用したテスト・デバッグ技術を中心に、チュートリアル,3人の専門家によるプレゼンテーション、一般参加者のライトニングトークおよび討議を行います。

グループ

AI4SE

イベント数 1回

メンバー数 178人

開催前

2018/12/14(金)

18:00
21:00

イベントに申し込むには
ログインしてください

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

募集期間
2018/10/12(金) 12:00 〜
2018/12/14(金) 18:00

会場

国立情報学研究所 12F会議室

東京都千代田区一ツ橋2-1-2

参加者(81人)

Yuta Maezawa

Yuta Maezawa

第1回AI4SEセミナー に参加を申し込みました!

EijiMachida

EijiMachida

第1回AI4SEセミナーに参加を申し込みました!

hatsugai

hatsugai

第1回AI4SEセミナー に参加を申し込みました!

lambda_x-x

lambda_x-x

第1回AI4SEセミナーに参加を申し込みました!

mogamin

mogamin

第1回AI4SEセミナー に参加を申し込みました!

oygdgagh

oygdgagh

第1回AI4SEセミナーに参加を申し込みました!

maton

maton

第1回AI4SEセミナー に参加を申し込みました!

nrhide

nrhide

I joined 第1回AI4SEセミナー!

tanimocchi

tanimocchi

第1回AI4SEセミナー に参加を申し込みました!

teyamagu

teyamagu

第1回AI4SEセミナーに参加を申し込みました!

参加者一覧(81人)

補欠者(77人)

naoto_k

naoto_k

第1回AI4SEセミナーに参加を申し込みました!

Yuzuru Harayama

Yuzuru Harayama

第1回AI4SEセミナー に参加を申し込みました!

nobuyuki50

nobuyuki50

第1回AI4SEセミナー に参加を申し込みました!

yot18

yot18

第1回AI4SEセミナーに参加を申し込みました!

HackerMaskee

HackerMaskee

第1回AI4SEセミナー に参加を申し込みました!

gen519

gen519

第1回AI4SEセミナーに参加を申し込みました!

yamasaki696

yamasaki696

第1回AI4SEセミナー に参加を申し込みました!

non

non

第1回AI4SEセミナーに参加を申し込みました!

tulune

tulune

第1回AI4SEセミナーに参加を申し込みました!

mochan_tk

mochan_tk

第1回AI4SEセミナー に参加を申し込みました!

補欠者一覧(77人)

キャンセルした人(4人)