Travelled to:
1 × Sweden
Collaborated with:
S.Cheung
Talks about:
symbol (1) runtim (1) valid (1) state (1) data (1)
Person: Yueqi Li
DBLP: Li:Yueqi
Contributed to:
Wrote 1 papers:
- ASE-2014-LiC #runtime #validation
- Symbolic state validation through runtime data (YL, SCC), pp. 187–198.