ERTLEmbedded Real-Time Systems Laboratory

Software Analytics Group

Objectives

In order to support embedded software development, we have researched on requirements specification analysis tools using natural language processing technology and design model extraction tools from programs.

Research topics

  • Requirement specification analysis tool using natural language processing technology
  • Design model extraction tool from program
  • Quantitative Investigation of Fuzzing Testing Tools
  • Quantitative Investigation of Symbolic Execution Tools

Members

Staffs

  • Hiroaki Takada
  • Norihiro Yoshida

Students

  • Ryota Yamamoto
  • Takahiro Shimizu
  • Natuki Tuzuki