Collaborated with:J.S.0001 L.L.0044 Q.L.Le S.Lin
Talks about:generat (1) automat (1) select (1) invari (1) sampl (1) refin (1) loop (1)
Person: Jiaying Li 0001
DBLP: 0001:Jiaying_Li
Contributed to:
2017Wrote 1 papers:
- ASE-2017-LiSLLL #automation #generative #invariant #refinement
- Automatic loop-invariant generation and refinement through selective sampling (JL0, JS0, LL0, QLL, SWL), pp. 782–792.