お知らせ 現在、検索機能において不具合が出ているため、一時的に機能を閉鎖しております。改修次第、検索機能をリリースのうえ、お知らせいたしますので、ご不便をおかけしますが何卒ご了承ください。

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

12月

14

第1回AI4SEセミナー

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

主催 : AI4SEグループ

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

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

無料

先着順
1/4

一般参加

無料

先着順
101/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 交流会 全員

発表者

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

フィード

Fuyuki Ishikawa

Fuyuki Ishikawaさんが資料をアップしました。

2018/12/17 13:32

Fuyuki Ishikawa

Fuyuki Ishikawaさんが資料をアップしました。

2018/12/17 13:31

Fuyuki Ishikawa

Fuyuki Ishikawaさんが資料をアップしました。

2018/12/17 13:30

Fuyuki Ishikawa

Fuyuki Ishikawaさんが資料をアップしました。

2018/12/17 13:29

Fuyuki Ishikawa

Fuyuki Ishikawaさんが資料をアップしました。

2018/12/17 11:11

Fuyuki Ishikawa

Fuyuki Ishikawaさんが資料をアップしました。

2018/12/17 11:10

ssmtkmt

ssmtkmtさんが資料をアップしました。

2018/12/17 10:32

Fuyuki Ishikawa

Fuyuki Ishikawaさんが資料をアップしました。

2018/12/17 00:22

Fuyuki Ishikawa

Fuyuki Ishikawaさんが資料をアップしました。

2018/12/17 00:22

Fuyuki Ishikawa

Fuyuki Ishikawaさんが資料をアップしました。

2018/12/17 00:21

yoriyuki

yoriyukiさんが資料をアップしました。

2018/12/16 03:06

yoriyuki

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

2018/10/12 12:48

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

グループ

AI4SE

イベント数 1回

メンバー数 207人

終了

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セミナー に参加を申し込みました!

hatsugai

hatsugai

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

lambda_x-x

lambda_x-x

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

nrhide

nrhide

I joined 第1回AI4SEセミナー!

tanimocchi

tanimocchi

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

okitan

okitan

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

KeizoTatsumi

KeizoTatsumi

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

akihiroshinmori

akihiroshinmori

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

masateruk

masateruk

I joined 第1回AI4SEセミナー!

oota_ken

oota_ken

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

参加者一覧(81人)

補欠者(21人)

h30

h30

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

odoryakusomori

odoryakusomori

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

hbys1991cl

hbys1991cl

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

yusuke_oohira_7

yusuke_oohira_7

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

感動ソムリエ

感動ソムリエ

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

YusukeKanai

YusukeKanai

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

knt0311

knt0311

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

cinnamon

cinnamon

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

fujisawayasuyuki

fujisawayasuyuki

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

nobuakishirai

nobuakishirai

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

補欠者一覧(21人)

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