ERTLEmbedded Real-Time Systems Laboratory

Software Analytics Group


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



  • Hiroaki Takada
  • Norihiro Yoshida


  • Ryu Miyaki
  • Wenqing Zhu
  • Kentaro Ohno
  • Junyu Chen
  • Keitaro Nagahara