Publications
206 publications
Clear all filters2018
- Electronics 2018Xiaowen JiangKai HuangXiaomeng ZhangRongjie YanKe WangDongliang XiongXiaolang Yan
Formal Collision Avoidance Analysis for Rigorous Building of Autonomous Marine Vehicles
ESTC 2017Rongjie YanXiangtong YaoJunjie YangKai Huang- TR 2018Hongliang LiangXiaoxiao PeiXiaodong JiaWuwei ShenJian Zhang
Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods
FM 2018Rongjie YanDi ZhuFan ZhangYiqi LvJunjie YangKai HuangVolCE: An Efficient Tool for Solving #SMT(LA) Problems
PRUV 2018 (co-located with IJCAR)Cunjing GeFeifei MaJian Zhang
2017
- ICTAI 2017Rongjie YanYupeng ZhouYige YanMinghao YinMin YuFeifei MaKai Huang
A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization
JSS 2017Long ZhangLanfei YanZhenyu ZhangJian ZhangW.K. ChanZheng ZhengCombinatorial Testing on Implementations of HTML5 Support
IWCT 2017 (workshop at ICST)Xi DengTianyong WuJun YanJian ZhangDetecting Energy Bugs in Android Apps Using Static Analysis
ICFEM 2017Hao JiangHongli YangShengchao QinZhendong SuJian ZhangJun YanIntegrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
CP 2017Linjie PanJiwei JinXin GaoWei SunFeifei MaMinghao YinJian ZhangOn the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model
FAW 2017Sergey BeregFeifei MaWencheng WangJian ZhangBinhai ZhuWeak QMV algebras and some ring-like structures
Soft Comput. 2017Xian LuYun ShangRu-qian LuJian ZhangFeifei Ma
2016
A deployable sampling strategy for data race detection
FSE 2016Yan CaiJian ZhangLingwei CaoJian LiuComponent-based verification using incremental design and invariants
SoSyM 2016Saddek BensalemMarius BozgaAxel LegayThanh-Hung NguyenJoseph SifakisRongjie YanLight-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps
TSE 2016Tianyong WuJierui LiuZhenbo XuChaorong GuoYanli ZhangJun YanJian Zhang- CP 2016Feifei MaXin GaoMinghao YinLinjie PanJiwei JinHai LiuJian Zhang
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
Clust. Comput. 2016Yan HuJun YanKim-Kwang Raymond Choo