Travelled to:1 × Portugal
1 × USA
Collaborated with:S.Khurshid B.Elkarablieh I.Garcia
Talks about:structur (1) librari (1) general (1) complex (1) symbol (1) repair (1) execut (1) assert (1) class (1) data (1)
Person: Yuk Lai Suen
DBLP: Suen:Yuk_Lai
Contributed to:
2007
2005Wrote 2 papers:
- ASE-2007-ElkarabliehGSK #data type
- Assertion-based repair of complex data structures (BE, IG, YLS, SK), pp. 64–73.
- PASTE-2005-KhurshidS #execution #library #symbolic computation
- Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.