Skip to content

Commit

Permalink
add full paper link
Browse files Browse the repository at this point in the history
  • Loading branch information
cuteDen-ECNU committed Nov 13, 2023
1 parent 3b81b84 commit d98eb13
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _posts/2023-05-20-acm-icse-src-SilverMedal.md
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers

Two-pages paper was accepted. \
[link](https://conf.researchr.org/details/icse-2023/icse-2023-SRC/5/AIGROW-A-Feedback-Driven-Test-Generation-Framework-for-Hardware-Model-Checkers)
[Full Paper]({{ site.github.url }}/assets/pdf/ICSE2023-SRC-POSTER.pdf)
[Full Paper]({{ site.github.url }}/assets/pdf/AIGROW.pdf)


## Second Round
Expand Down
Binary file added assets/pdf/AIGROW.pdf
Binary file not shown.

0 comments on commit d98eb13

Please sign in to comment.