Test Generation
Efficient and effective generation of test stimulus is key to achieving verification and validation goals. We are investigating methods to exploit machine learning for test generation in the context of microelectronic design verification. We are also researching how other AI-based techniques, such as planning, can be used for test generation.
Research projects:
Agent based Test Generation for Autonomous Vehicle Testing
The multi-agent systems (MAS) paradigm can be used for test generation which is an active area of research in the Trustworthy Systems Lab. Agents can be taught to find solutions to specific verification goals, such as to find pedestrian safety tests for Autonomous Vehicle testing. The video is a presentation given at the IEEE AI Test 2020 conference where we discuss using agent-based test generation to find pedestrian safety tests and show how this is more accurate than random methods.