山本光晴

研究者氏名	山本光晴
	ヤマモトミツハル
URL
所属	千葉大学
部署	大学院理学研究院数学・情報数理学研究部門情報数理講座
職名	教授
学位	博士(理学)(東京大学)
J-Global ID	200901038903211330

研究分野

情報通信 / 情報学基礎論 /

経歴

2017年6月

現在

千葉大学大学院理学研究院数学・情報数理学研究部門教授

2017年4月

2017年5月

千葉大学大学院理学研究院数学・情報数理学研究部門准教授

2007年4月

2017年3月

千葉大学大学院理学研究科基盤理学専攻数学・情報数理学コース准教授

2003年8月

2007年3月

千葉大学理学部数学・情報数理学科助教授

1996年10月

2003年7月

千葉大学理学部数学・情報数理学科助手

学歴

1996年4月

1996年10月

東京大学大学院理学系研究科情報科学専攻博士課程(中退)

1994年4月

1996年3月

東京大学大学院理学系研究科情報科学専攻修士課程

1992年4月

1994年3月

東京大学理学部情報科学科

1990年4月

1992年3月

東京大学教養学部理科I類

論文

12 3 4 5 >

Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers

Cyrille Artho Kazuaki Banzai Quentin Gros Guillaume Rousset Lei Ma Takashi Kitamura Masami Hagiya Yoshinori Tanabe Mitsuharu Yamamoto

Software Testing, Verification and Reliability 30(7-8) 2020年11月 [査読有り]

Model-based API Testing of Apache ZooKeeper

Cyrille Artho Quentin Gros Guillaume Rousset Kazuaki Banzai Lei Ma Takashi Kitamura Masami Hagiya Yoshinori Tanabe Mitsuharu Yamamoto

2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) 288-298 2017年 [査読有り]

Apache ZooKeeper is a distributed data storage that is highly concurrent and asynchronous due to network communication; testing such a system is very challenging. Our solution using the tool "Modbat" generates test cases for concurrent client sess...

Formalization of Karp-Miller Tree Construction on Petri Nets

Mitsuharu Yamamoto Shogo Sekine Saki Matsumoto

PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17 66-78 2017年 [査読有り]

Karp-Miller tree construction on Petri nets is a classical well-known algorithm to construct the minimal coverability set via forward analysis. It enables us to construct decision procedures for several problems such as coverability and (place) bo...

Automated Dataset Construction from Web Resources with Tool Kayur

Alexander Kohan Mitsuharu Yamamoto Cyrille Artho

2016 FOURTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR) 7(2) 98-104 2016年 [査読有り]

Many text mining tools cannot be applied directly to documents available on web pages. There are tools for fetching and preprocessing of textual data, but combining them in one working tool chain can be time consuming. The preprocessing task is ev...

Java Pathfinder on Android Devices

Alexander Kohan Mitsuharu Yamamoto Cyrille Artho Yoriyuki Yamagata Lei Ma Masami Hagiya Yoshinori Tanabe

ACM SIGSOFT Software Engineering Notes 41(6) 1-5 2016年 [査読有り]