Skip to content
SEL@KIT SEL@KIT

Menu

  • Home
  • Research
  • Publications
  • Members
  • News
  • Language: English
    • English English
    • 日本語 日本語

  • Software Repositories Mining

    We mine and analyze source code, development history, review report, bug report, questions and answers, etc.

  • Software Bug Prediction

    We are trying to find characteristics of bugs in software by data mining technique.

  • Visualization

    We visualize software development process in a unique way.

  • Aquatan

    A droid and Twitter bot for aquarium management

    SEL@KIT has several aquarium tanks with DIY IoT devices. We can monitor and control the tanks from the Internet.

    Aquarium monitor
Software Engineering Laboratory

Dept. Information Science, Kyoto Institute of Technology

Analyze, verify, mine, and science the software.

How to join us

bug
Find bugs in software in a smart manner.

calculation

Find and analyze questions in software development empirically.

ereader-1

Find characteristics of software from repositories.

News

Our recent activities

(日本語) ソフトウェア信頼性研究会 第16回ワークショップ（FORCE2022）

(日本語) ソフトウェア信頼性研究会 第16回ワークショップ（FORCE2022）

On Monday December 12th, 2022 Wednesday January 11th, 2023
(日本語) 第29回ソフトウェア工学の基礎ワークショップ （FOSE2022）

(日本語) 第29回ソフトウェア工学の基礎ワークショップ （FOSE2022）

On Sunday November 13th, 2022 Wednesday January 11th, 2023
(日本語) ソフトウェア・シンポジウム2022　 論文奨励賞

(日本語) ソフトウェア・シンポジウム2022　 論文奨励賞

On Friday June 17th, 2022
メンバーページを更新しました

メンバーページを更新しました

On Tuesday April 19th, 2022
(日本語) 2021年度卒業式

(日本語) 2021年度卒業式

On Monday March 28th, 2022
Theses in AY2021

Theses in AY2021

On Tuesday March 1st, 2022 Tuesday March 1st, 2022
See all news →

Research Topics

Our research mainly focuses on software repositories mining.

Check out our publications

List of theses

CNN based fault-prone commit detection

CNN based fault-prone commit detection

Log analysis of cyber physical systems

Log analysis of cyber physical systems

Fault localization from bug reports

Fault localization from bug reports

Visualization of Software Development

Visualization of Software Development

Effective and Efficient Software Testing

Effective and Efficient Software Testing

Analysis of Software Evolution

Analysis of Software Evolution

Predicting fault-prone modules by SPAM filtering technique

Predicting fault-prone modules by SPAM filtering technique

Analysis of Identifiers in Source Code

Analysis of Identifiers in Source Code

Social Network Analysis in Software

Social Network Analysis in Software

Environment

International and unique environment for research

Aquarium monitor

How to join us

How to join us

Joint research work

Joint research work

Aquarium Monitoring Droid

Aquarium Monitoring Droid

International Exchange

International Exchange

Tracking Members

Tracking Members

Ph.D / Master / Bachelor theses

Ph.D / Master / Bachelor theses

Facilities

What you can use for your research

Mac

Mac

3D printer

3D printer

VR HMD

VR HMD

GPGPU server

GPGPU server

Lecture

Compiler

Compiler

Programming Language Processing

Programming Language Processing

Software Repositories Mining

Software Repositories Mining

Software Metrics

Software Metrics

Software Exercise II

Software Exercise II

Software Engineering

Software Engineering


Members

Prof. Osamu Mizuno

Prof. Osamu Mizuno

Assistant Prof. Eunjong Choi

Assistant Prof. Eunjong Choi

Aqua-tan

Aqua-tan

D: Juntong Hong

D: Juntong Hong

D: Khine Yin Mon

D: Khine Yin Mon

M: Hiroya Watanabe

M: Hiroya Watanabe

M: Takaaki Tanimoto

M: Takaaki Tanimoto

M: Akihiro Tamai

M: Akihiro Tamai

B: Yuta Mahigashi

B: Yuta Mahigashi

B: Shota Minami

B: Shota Minami

B: Naohito Omitsu

B: Naohito Omitsu

Alumni

Alumni

Links

  • Kyoto Institute of Technology
  • Department of Information Science

  • Lab Wiki (duprecated)

  • Lab Wiki (esa.io)

© 2023 SEL@KIT. Icons designed by Popcorns Arts from Flaticon.

Built with Enlightenment Theme and WordPress