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

Paper in SERA2024

Paper in SERA2024

On Saturday June 1st, 2024 Sunday June 2nd, 2024
(日本語) 2024年度B4配属

(日本語) 2024年度B4配属

On Wednesday April 17th, 2024
(日本語) SANER2024での論文発表

(日本語) SANER2024での論文発表

On Saturday March 23rd, 2024 Sunday March 24th, 2024
New assistant professor

New assistant professor

On Saturday March 2nd, 2024
(日本語) 知能ソフトウェア工学研究室の開設について

(日本語) 知能ソフトウェア工学研究室の開設について

On Tuesday February 20th, 2024 Tuesday February 13th, 2024
(日本語) 2023年度新規メンバー

(日本語) 2023年度新規メンバー

On Thursday April 20th, 2023
See all news →

Research Topics

Our research mainly focuses on software repositories mining.

Check out our publications

List of theses

(日本語) C言語学習をゲーム感覚で！

(日本語) C言語学習をゲーム感覚で！

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 Professor: Kinari Nishiura

Assistant Professor: Kinari Nishiura

(Cooperate researcher) Associate Prof. Eunjong Choi

(Cooperate researcher) Associate Prof. Eunjong Choi

Dark-side Sovereign: Aqua-tan

Dark-side Sovereign: Aqua-tan

D: Ryosuke Tanaka

D: Ryosuke Tanaka

D: Tamami Hirai

D: Tamami Hirai

M: Tomoya Shichi

M: Tomoya Shichi

M: Kotaro Maekawa

M: Kotaro Maekawa

M: Soshi Inoue

M: Soshi Inoue

M: Yasuyuki Arikawa

M: Yasuyuki Arikawa

M: Shota Miyanaga (iSEL)

M: Shota Miyanaga (iSEL)

M: Ryosuke Kawano

M: Ryosuke Kawano

M: Kotaro Suzuki

M: Kotaro Suzuki

M: Takuma Shimada

M: Takuma Shimada

M: Gaku Takahashi

M: Gaku Takahashi

M: Ryosuke Okura (iSEL)

M: Ryosuke Okura (iSEL)

M: Tomohiro Inoue (iSEL)

M: Tomohiro Inoue (iSEL)

B: Kota Tominaga

B: Kota Tominaga

B: Motohiro Okuno

B: Motohiro Okuno

B: Eishu Kawaguchi

B: Eishu Kawaguchi

B: Junnosuke Kondo

B: Junnosuke Kondo

Alumni

Alumni

Links

  • Kyoto Institute of Technology
  • Department of Information Science

  • Lab Wiki (duprecated)

  • Lab Wiki (esa.io)

© 2025 SEL@KIT そふらぼ. Icons designed by Popcorns Arts from Flaticon.

Built with Enlightenment Theme and WordPress