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