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.

Software Engineering Laboratory

Dept. Information Science, Kyoto Institute of Technology

Analyze, verify, mine, and science the software.

How to join us

The Software Engineering Laboratory has established in 2009 at Kyoto Institute of Technology (KIT), and has been conducting empirical software engineering research for over 15 years, aiming to improve software reliability and enhance the efficiency of development processes.

We advanced quality assurance techniques such as code clone detection and combinatorial testing, and deepened defect prediction through software repository mining. We also applied natural language processing and machine learning to support developers with studies on code search and commit message analysis.

In recent years, our research has expanded to include defect prediction based on pull requests and commit histories, developer behavior analysis incorporating sentiment analysis, safety assessment in emerging languages such as Rust, UI test automation, and security assurance. Furthermore, by incorporating AI technologies such as large language models, we are opening up new possibilities for code search and development support.

In this way, our laboratory consistently pursues data-driven research with a focus on improving software quality and reliability, as well as automating development support. Looking ahead, we continue to explore new frameworks for software engineering suited to the era of AI.

News

Our recent activities

Invited talk at WSSE2025

Invited talk at WSSE2025

On Saturday October 25th, 2025 Saturday October 25th, 2025

Prof. Mizuno will deliver an invited talk at WSSE2025.

New students in SEL@KIT

New students in SEL@KIT

On Tuesday September 23rd, 2025 Tuesday September 23rd, 2025

(日本語) 2025年秋学期から,3人の学生がそふらぼに配属されます.

Presentation in SES2025

Presentation in SES2025

On Thursday September 18th, 2025 Saturday September 27th, 2025

An M1 student had a presentation at SES2025 in Tokyo.

Keynote Speech at FOSE2025 & Presentations

Keynote Speech at FOSE2025 & Presentations

On Saturday September 13th, 2025 Tuesday September 23rd, 2025
(日本語) ソフトウェア・シンポジウムでの研究発表

(日本語) ソフトウェア・シンポジウムでの研究発表

On Sunday June 22nd, 2025 Tuesday September 23rd, 2025
Presentation in WSSE2024

Presentation in WSSE2024

On Monday September 23rd, 2024 Tuesday September 23rd, 2025
Paper in SERA2024

Paper in SERA2024

On Saturday June 1st, 2024 Tuesday September 23rd, 2025
See all news →

Research Topics

Our research mainly focuses on software repositories mining.

Check out our publications List of theses

Explorer source code of C language!

Explorer source code of C language!

Which issue-link algorithms should we use?

Which issue-link algorithms should we use?

Benefits and pitfalls of token-level SZZ

Benefits and pitfalls of token-level SZZ

Gamification of C language

Gamification of C language

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

Tools by SEL@KIT

Tools by SEL@KIT

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


Members

Prof. Osamu Mizuno

Prof. Osamu Mizuno

Assistant Professor: Kinari Nishiura

Assistant Professor: Kinari Nishiura

Assoc. Prof. Eunjong Choi

Assoc. 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

D: Ten (Natthakit Netsiwawichian)

D: Ten (Natthakit Netsiwawichian)

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: Provost Pierre Christian Nicolas

M: Provost Pierre Christian Nicolas

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

I: Hsu Jian Ye

I: Hsu Jian Ye

Alumni

Alumni

### Software Engineering Laboratory (SEL@KIT)

  • 606-8585 1, Hashigami-cho, Sakyo-ku, Kyoto-city, Kyoto 606-8585, Japan
  • Faculty of Information and Human Sciences
  • Kyoto Institute of Technology
    • 8-320 (Prof. Mizuno)
    • 8-417 (Assist. Prof. Nishiura)
    • 8-302 (Software Engineering 1st) Seminar room
    • 8-303 (Software Engineering 2nd) Student room
    • 8-304 (Software Engineering 3rd) Student room & Experiment room

### Links

  • Kyoto Institute of Technology
  • Dept. of Information Science
  • Laboratory Wiki – esa.io
  • Intellectual Software Engineering Laboratory

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

Built with Enlightenment Theme and WordPress