Travelled to:1 × Germany
1 × India
Collaborated with:X.Mao Y.Lei L.Chen Y.Qi C.Wang
Talks about:specif (2) subcompon (1) strength (1) composit (1) program (1) leverag (1) search (1) repair (1) random (1) precis (1)
Person: Ziying Dai
DBLP: Dai:Ziying
Contributed to:
2014
2013Wrote 2 papers:
- ICSE-2014-QiMLDW #automation #program repair #random
- The strength of random search on automated program repair (YQ, XM, YL, ZD, CW), pp. 254–265.
- WCRE-2013-DaiMLC #component #precise #specification
- Leveraging specifications of subcomponents to mine precise specifications of composite components (ZD, XM, YL, LC), pp. 162–171.