Collaborated with:
J.Chen D.Hao L.Zhang L.Zhang B.Xie H.Mei
Talks about:
construct (1) support (1) analysi (1) static (1) oracl (1)
Person: Yanwei Bai
DBLP: Bai:Yanwei
Contributed to:
Wrote 1 papers:
- ASE-2016-ChenBHZ0XM #static analysis
- Supporting oracle construction via static analysis (JC, YB, DH, LZ, LZ, BX, HM), pp. 178–189.