I win the Silver Medal in ACM ICSE SRC!

Written on May 20th, 2023 by Wenjing

AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers

First Round

Two-pages paper was accepted.
link Full Paper

Second Round

Poster and Presentation won the silver medal.
PPT POSTER