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