Travelled to:1 × The Netherlands
Collaborated with:M.Subramaniam B.Guo Z.Pap T.Huang Bo Wu 0006 Youmin Hu J.Zhou
Talks about:use (2) hierarch (1) approach (1) theorem (1) surfac (1) select (1) prover (1) featur (1) detect (1) defect (1)
Person: Ling Xiao
DBLP: Xiao:Ling
Contributed to:
2009
2019Wrote 2 papers:
- TestCom-FATES-2009-SubramaniamXGP #approach #proving #testing #theorem proving #using
- An Approach for Test Selection for EFSMs Using a Theorem Prover (MS, LX, BG, ZP), pp. 146–162.
- CASE-2019-XiaoH0HZ #detection #fault #using
- Surface Defect Detection using Hierarchical Features (LX, TH, BW0, YH, JZ), pp. 1592–1596.