Publications
206 publications
Clear all filters2015
Automatic Detection of Parameter Shielding for Test Case Generation
SEKE 2015Jingjian LinJun YanJifeng XuanCommunication Optimizations for Multithreaded Code Generation from Simulink Models
TECS 2015Kai HuangMin YuRongjie YanXiaomeng ZhangXiaolang YanLisane BrisolaraAhmed Amine JerrayaJiong FengFormal consistency checking over specifications in natural languages
DATE 2015Rongjie YanChih-Hong ChengYesheng ChaiMelton: a practical and precise memory leak detection tool for C programs
FCS 2015Zhenbo XuJian ZhangZhongxing Xu- ETRI J 2015Kai HuangSiwen XiuMin YuXiaomeng ZhangRongjie YanXiaolang YanZhili Liu
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
FM 2015Xue-Yang ZhuRongjie YanYu-Lei GuJian ZhangWenhui ZhangGuangquan Zhang
2014
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution
SERE 2014Ting SuGeguang PuBin FangJifeng HeJun YanSiyuan JiangJianjun ZhaoAutomatic Generation of Combinatorial Test Data
SpringerBriefs in Computer Science · 2014Jian ZhangZhiqiang ZhangFeifei MaCanalyze: a static bug-finding tool for C programs
ISSTA 2014Zhenbo XuJian ZhangZhongxing XuJiteng WangChoreography Scenario-Based Test Data Generation
TASE 2014Kai MaJin WangHongli YangJun YanJian ZhangShengchao QinILP Based Multithreaded Code Generation for Simulink Model
IEICE Trans. Inf. Syst. 2014Kai HUANGMin YUXiaomeng ZHANGDandan ZHENGSiwen XIURongjie YANKai HUANGZhili LIUXiaolang YANModeling and Verifying of CPS Component Services Based on Hybrid Automata
IJMUE 2014Jianning ZhangGuanquan ZhangRongjie YanYi ZhuXingjun Qi
2013
A Search Strategy Guided by Uncovered Branches for Concolic Testing
QSIC 2013Qixing DongJun YanJian ZhangFanping ZengCascade: A Test Generation Tool for Combinatorial Testing
IWCT 2013 (workshop at ICST)Yong ZhaoZhiqiang ZhangJun YanJian ZhangCharacterizing and detecting resource leaks in Android applications
ASE 2013Chaorong GuoJian ZhangJun YanZhiqiang ZhangYanli ZhangCommunication Pipelining for Code Generation from Simulink Models
M2A2 2013 (workshop at ISPA)Rongjie YanKai HuangMin YuXiaomeng Zhang- JZUS-C 2013Kai HuangDe MaRong-jie YanHai-tong GeXiao-lang Yan
MACE4 and SEM: A Comparison of Finite Model Generators
Automated Reasoning and Mathematics · 2013Hantao ZhangJian ZhangPerformance Estimation Using Symbolic Data
Theories of Programming and Formal Methods · 2013Jian ZhangProfile directed systematic testing of concurrent programs
AST 2013 (workshop at ICSE)Yan HuJun YanJian ZhangHe JiangSolving Nonlinear SMT Problems Based on an Efficient Lazy Method
Journal of Internet Technology 2013Xiaohui JiFeifei MaTowards Conformance Testing of Choreography Based on Scenario
TASE 2013Hongli YangKai MaCheng DengHusheng LiaoJun YanJian Zhang
2012
An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints
WETICE 2012Xiaohui JiFeifei Ma