Travelled to:1 × Russia
2 × USA
Collaborated with:C.Reichenbach Y.Smaragdakis C.Csallner M.Young Y.Diao
Talks about:constraint (1) investig (1) dataflow (1) program (1) predict (1) generat (1) symbol (1) second (1) residu (1) precis (1)
Person: Kaituo Li
DBLP: Li:Kaituo
Contributed to:
2013
2013
2012Wrote 3 papers:
- ASE-2013-LiRSDC #data flow #generative #named #source code
- SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
- ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant
- Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
- ISSTA-2012-LiRCS #debugging #detection #precise #predict
- Residual investigation: predictive and precise bug detection (KL, CR, CC, YS), pp. 298–308.