Collaborated with:D.Kroening D.Landsberg M.Wu W.Ruan X.H.0001 M.Kwiatkowska
Talks about:fault (2) spectrum (1) program (1) optimis (1) network (1) localis (1) specif (1) neural (1) concol (1) singl (1)
Person: Youcheng Sun
DBLP: Sun:Youcheng
Contributed to:
2018
2018Wrote 2 papers:
- ASE-2018-SunWRHKK #network #testing
- Concolic testing for deep neural networks (YS, MW, WR, XH0, MK, DK), pp. 109–119.
- FASE-2018-LandsbergSK #fault #locality #optimisation #source code #specification #using
- Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications (DL, YS, DK), pp. 246–263.