Collaborated with:J.L.0001 J.S.0001 Q.L.Le S.Lin
Talks about:generat (1) automat (1) select (1) invari (1) sampl (1) refin (1) loop (1)
Person: Li Li 0044
DBLP: 0044:Li_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.