Collision detection for 3D games on Android OS

بواسطة Li, Xiaohong.
منشور في 2011

Industrial attachment report with Autodesk Asia Pte Ltd

بواسطة Li, Xiaohong.
منشور في 2011

S-Looper: Automatic summarization for multipath string loops

بواسطة XIE, Xiaofei, LIU, Yang, LE, Wei, LI, Xiaohong, CHEN, Hongxu
منشور في 2015

Proteus: Computing disjunctive loop summary via path dependency analysis

بواسطة XIE, Xiaofei, CHEN, Bihuan, LIU, Yang, LE, Wei, LI, Xiaohong
منشور في 2016

SeqAdver: Automatic payload construction and injection in sequence-based Android adversarial attack

بواسطة ZHANG, Fei, FENG, Ruitao, XIE, Xiaofei, LI, Xiaohong, SHI, Lianshuan
منشور في 2023

PRTS: An approach for model checking probabilistic real-time hierarchical systems

بواسطة SUN, Jun, LIU, Yang, SONG, Songzheng, DONG, Jin Song, LI, Xiaohong
منشور في 2011

Automatic detection and analysis towards malicious behavior in IoT malware

بواسطة LI, Sen, GE, Mengmeng, FENG, Ruitao, LI, Xiaohong, LAM, Kwok Yan
منشور في 2023

Automatic loop summarization via path dependency analysis

بواسطة Xie, Xiaofei, Chen, Bihuan, Zou, Liang, Liu, Yang, Le, Wei, Li, Xiaohong
منشور في 2020

Towards understanding the faults of JavaScript-based deep learning systems

بواسطة QUAN, Lili, GUO, Qianyu, XIE, Xiaofei, CHEN, Sen, LI, Xiaohong, LIU, Yang
منشور في 2022

Large-scale analysis of non-termination bugs in real-world OSS projects

بواسطة SHI, Xiuhan, XIE, Xiaofei, LI, Yi, ZHANG, Yao, CHEN, Sen, LI, Xiaohong
منشور في 2022

Automatic loop summarization via path dependency analysis

بواسطة XIE, Xiaofei, CHEN, Bihuan, ZOU, Liang, LIU, Yang, LE, Wei, LI, Xiaohong
منشور في 2019

DiffChaser: Detecting disagreements for deep neural networks

بواسطة XIE, Xiaofei, MA, Lei, WANG, Haijun, LI, Yuekang, LIU, Yang, LI, Xiaohong
منشور في 2019

Cross-project defect prediction via ASTToken2Vec and BLSTM-based neural network

بواسطة LI, Hao, LI, Xiaohong, CHEN, Xiang, XIE, Xiaofei, MU, Yanzhou, FENG, Zhiyong
منشور في 2019

EndWatch: A practical method for detecting non-termination in real-world software

بواسطة ZHANG, Yao, XIE, Xiaofei, LI, Yi, CHEN, Sen, ZHANG, Cen, LI, Xiaohong
منشور في 2023

Unmasking the lurking: Malicious behavior detection for IoT malware with multi-label classification

بواسطة FENG, Ruitao, LI, Sen, CHEN, Sen, GE, Mengmeng, LI, Xuewei, LI, Xiaohong
منشور في 2024

Verification of functional and non-functional requirements of web service composition

بواسطة CHEN, Manman, TAN, Tian Huat, SUN, Jun, LIU, Yang, PANG, Jun, LI, Xiaohong
منشور في 2013

Loopster: Static loop termination analysis

بواسطة XIE, Xiaofei, CHEN, Bihuan, ZOU, Liang, LIN, Shang-Wei, LIU, Yang, LI, Xiaohong
منشور في 2017

AVA: Adversarial Vignetting Attack against visual recognition

بواسطة TIAN, Binyu, JUEFEI-XU, Felix, GUO, Qing, XIE, Xiaofei, LI, Xiaohong, LIU, Yang
منشور في 2021

An empirical study on robustness of DNNs with out-of-distribution awareness

بواسطة ZHOU, Lingjun, YU, Bing, BEREND, David, XIE, Xiaofei, LI, Xiaohong, ZHAO, Jianjun, LIU, Xusheng
منشور في 2020

SADT: Syntax-aware differential testing of certificate validation in SSL/TLS Implementations

بواسطة QUAN, Lili, GUO, Qianyu, CHEN, Hongxu, XIE, Xiaofei, LI, Xiaohong, LIU, Yang, HU, Jing
منشور في 2020