diff --git a/index.html b/index.html index 41ba1c1..d8c2a9f 100644 --- a/index.html +++ b/index.html @@ -149,7 +149,7 @@

Publi
  • Li, Chi, Min Zhou, Zuxing Gu(* corresponding author), Guang Chen, Yuexing Wang, Jiecheng Wu, and Ming Gu. "VBSAC: a value-based static analyzer for C." In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 382-385. 2019. - [PDF] [VBSAC Repo] + [PDF] [VBSAC Repo]
  • Gu, Zuxing, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, and Ming Gu. "An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity." In 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp. 818-822. IEEE, 2016.