Travelled to:1 × Germany
1 × Italy
2 × Switzerland
4 × USA
Collaborated with:T.Xie ∅ N.Tillmann J.d.Halleux S.Li A.M.Paradkar S.Han D.Zhang S.Thummalapenta M.Fähndrich M.Moskal Y.Yuan L.Xu A.Podgurski H.Zhu Z.Ren C.Liu H.Jiang H.Wang H.Liu G.Meng Y.Guo W.Yang B.Andow W.Enck G.Balakrishnan F.Ivancic N.Maeda A.Gupta D.Chhetri R.Pandita H.Zhong S.Oney
Talks about:problem (4) test (4) structur (3) identif (3) generat (3) context (3) android (3) analysi (3) app (3) languag (2)
Person: Xusheng Xiao
DBLP: Xiao:Xusheng
Contributed to:
2015
2014
201320132012
201220122011
20172019Wrote 14 papers:
- ICSE-v1-2015-YangXALXE #behaviour #mobile #named #using
- AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context (WY, XX, BA, SL, TX, WE), pp. 303–313.
- ISSTA-2014-XiaoBIMGC #analysis #dependence #effectiveness #type system
- ARC++: effective typestate and lifetime dependency analysis (XX, GB, FI, NM, AG, DC), pp. 116–126.
- ASE-2013-XiaoLXT #execution #generative #problem #symbolic computation #testing
- Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
- ISSTA-2013-XiaoHZX #identification #performance
- Context-sensitive delta inference for identifying workload-dependent performance bottlenecks (XX, SH, DZ, TX), pp. 90–100.
- ASE-2012-XiaoTFHM #analysis #privacy
- User-aware privacy control via extended static-information-flow analysis (XX, NT, MF, JdH, MM), pp. 80–89.
- FSE-2012-XiaoPTX #automation #documentation #policy #security
- Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.
- ICSE-2012-PanditaXZXOP #api #natural language #specification
- Inferring method specifications from natural language API descriptions (RP, XX, HZ, TX, SO, AMP), pp. 815–825.
- ICSE-2011-Xiao #developer #generative #identification #problem #testing #towards
- Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.
- ICSE-2011-XiaoXTH #generative #identification #precise #problem #testing
- Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
- ICSE-2011-XiaoXTH11a #identification #named #precise #problem
- Covana: precise identification of problems in pex (XX, TX, NT, JdH), pp. 1004–1006.
- ESEC-FSE-2017-YuanXXPZ #android #execution #graph #named
- RunDroid: recovering execution call graphs for Android applications (YY, LX, XX, AP, HZ), pp. 949–953.
- ASE-2019-RenLXJX #analysis #locality
- Root Cause Localization for Unreproducible Builds via Causality Analysis Over System Call Tracing (ZR, CL, XX, HJ, TX), pp. 527–538.
- ASE-2019-WangLXMG #android
- Characterizing Android App Signing Issues (HW, HL, XX, GM, YG), pp. 280–292.
- ASE-2019-Xiao #android #approach #detection
- An Image-Inspired and CNN-Based Android Malware Detection Approach (XX), pp. 1259–1261.