Collaborated with:M.Wu M.Kwiatkowska S.Wang Y.Sun W.Ruan D.Kroening
Talks about:network (2) neural (2) deep (2) safeti (1) concol (1) verif (1) test (1)
Person: Xiaowei Huang 0001
DBLP: 0001:Xiaowei_Huang
Contributed to:
2018
2017Wrote 2 papers:
- ASE-2018-SunWRHKK #network #testing
- Concolic testing for deep neural networks (YS, MW, WR, XH0, MK, DK), pp. 109–119.
- CAV-2017-HuangKWW #network #safety #verification
- Safety Verification of Deep Neural Networks (XH0, MK, SW, MW), pp. 3–29.