Travelled to:1 × Italy
Collaborated with:F.Nielson H.R.Nielson T.Su C.Zhang Y.Yan G.Pu Z.Su L.M.0003 F.Juefei-Xu J.Sun M.Xue B.L.0026 C.Chen L.L.0029 Y.L.0003 J.Zhao Y.Wang
Talks about:model (2) deep (2) understand (1) granular (1) criteria (1) softwar (1) revisit (1) checker (1) analysi (1) system (1)
Person: Fuyuan Zhang
DBLP: Zhang:Fuyuan
Contributed to:
2012
2018
2019Wrote 3 papers:
- IFM-2012-ZhangNN #model checking #revisited #static analysis
- Model Checking as Static Analysis: Revisited (FZ, FN, HRN), pp. 99–112.
- ASE-2018-MaJZSXLCSLLZW #learning #multi #named #testing
- DeepGauge: multi-granularity testing criteria for deep learning systems (LM0, FJX, FZ, JS, MX, BL0, CC, TS, LL0, YL0, JZ, YW), pp. 120–131.
- ESEC-FSE-2019-ZhangSYZPS #comprehension #debugging #model checking
- Finding and understanding bugs in software model checkers (CZ, TS, YY, FZ, GP, ZS), pp. 763–773.