Collaborated with:∅ X.Xie L.M.0003 Y.L.0003 J.Zhao X.Du F.Mora J.Rubin M.Chechik H.Chen
Talks about:quantit (2) network (2) analysi (2) neural (2) deep (2) feedforward (1) framework (1) stellar (1) softwar (1) histori (1)
Person: Yi Li 0008
DBLP: 0008:Yi_Li
Contributed to:
201720182019
2019Wrote 5 papers:
- ASE-2017-Li #evolution #semantics #slicing
- Managing software evolution through semantic history slicing (YL0), pp. 1014–1017.
- ASE-2018-Mora0RC #equivalence
- Client-specific equivalence checking (FM, YL0, JR, MC), pp. 441–451.
- ASE-2019-DuX000Z #analysis #framework #network
- A Quantitative Analysis Framework for Recurrent Neural Network (XD, XX, YL0, LM0, YL0, JZ), pp. 1062–1065.
- ASE-2019-XieCLM0Z #fuzzing #network
- Coverage-Guided Fuzzing for Feedforward Neural Networks (XX, HC, YL0, LM0, YL0, JZ), pp. 1162–1165.
- ESEC-FSE-2019-DuXLM0Z #analysis #learning #modelling #named
- DeepStellar: model-based quantitative analysis of stateful deep learning systems (XD, XX, YL0, LM0, YL0, JZ), pp. 477–487.