Travelled to:1 × India
1 × USA
Collaborated with:Z.Duan Z.Duan C.L.Ong B.Zhou X.Xia D.Lo X.Wang
Talks about:model (2) check (2) more (2) counterexampl (1) spurious (1) interpol (1) abstract (1) softwar (1) discuss (1) content (1)
Person: Cong Tian
DBLP: Tian:Cong
Contributed to:
2014
2013
2017Wrote 3 papers:
- ICPC-2014-ZhouXLTW #api #categorisation #towards
- Towards more accurate content categorization of API discussions (BZ, XX, DL, CT, XW), pp. 95–105.
- ICSE-2013-TianD #detection #model checking
- Detecting spurious counterexamples efficiently in abstract model checking (CT, ZD), pp. 202–211.
- ASE-2017-TianDDO #effectiveness #model checking
- More effective interpolations in software model checking (CT, ZD, ZD, CHLO), pp. 183–193.