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

12月

14

第1回AI4SEセミナー

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

Organizing : AI4SEグループ

Hashtag :#AI4SE
Registration info

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

Free

FCFS
1/4

一般参加

Free

FCFS
101/80

Description

セミナーの目的

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 交流会 全員

Presenter

Feed

Fuyuki Ishikawa

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

12/17/2018 13:32

Fuyuki Ishikawa

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

12/17/2018 13:31

Fuyuki Ishikawa

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

12/17/2018 13:30

Fuyuki Ishikawa

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

12/17/2018 13:29

Fuyuki Ishikawa

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

12/17/2018 11:11

Fuyuki Ishikawa

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

12/17/2018 11:10

ssmtkmt

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

12/17/2018 10:32

Fuyuki Ishikawa

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

12/17/2018 00:22

Fuyuki Ishikawa

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

12/17/2018 00:22

Fuyuki Ishikawa

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

12/17/2018 00:21

yoriyuki

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

12/16/2018 03:06

yoriyuki

yoriyuki published 第1回AI4SEセミナー.

10/12/2018 12:48

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

Group

AI4SE

Number of events 1

Members 208

Ended

2018/12/14(Fri)

18:00
21:00

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

Registration Period
2018/10/12(Fri) 12:00 〜
2018/12/14(Fri) 18:00

Location

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

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

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

Attendees (81)

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

Waitlist (21)

Canceled (78)