Collaborated with:Z.Su S.Wang T.Su Y.Yan F.Zhang G.Pu
Talks about:bug (2) nondeterminist (1) understand (1) ethereum (1) contract (1) softwar (1) payment (1) checker (1) detect (1) smart (1)
Person: Chengyu Zhang
DBLP: Zhang:Chengyu
Contributed to:
2019
2019Wrote 2 papers:
- 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.
- OOPSLA-2019-WangZS #contract #debugging #detection #nondeterminism
- Detecting nondeterministic payment bugs in Ethereum smart contracts (SW, CZ, ZS), p. 29.