Site Overlay

Papers Accepted by ICSE 2020

  • Duy Tai Nguyen, Long H. Pham, Jun Sun, Yun Lin and Minh Quang Tran: “sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts”ICSE 2020.
  • Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong and Dai Ting: “White-box Fairness Testing through Adversarial Sampling”ICSE 2020.
  • Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun,  Chun Huang and Wei Dong: “Symbolic Verification of Message Passing Interface Programs”ICSE 2020.