论文
2012
Integrating Standard Dependency Schemes in QCSP Solvers
JCST 2012CCF BJi-Wei JinFei-Fei MaJian Zhang
2011
Memory Leak Detection Based on Memory State Transition Graph
APSEC 2011CCF CZhenbo XuJian ZhangZhongxing XuModel Construction and Priority Synthesis for Simple Interaction Systems
NASA Formal Methods 2011Chih-Hong ChengSaddek BensalemBarbara JobstmannRongjie YanAlois KnollHarald RuessSearching for Doubly Self-orthogonal Latin Squares
CP 2011Runming LuSheng LiuJian ZhangTuple density: a new metric for combinatorial test suites (NIER track)
ICSE 2011Baiqiang ChenJian Zhang
2010
A Memory Model for Static Analysis of C Programs
ISoLA 2010Zhongxing XuTed KremenekJian ZhangAutomatic Bug Triage using Semi-Supervised Text Classification
SEKE 2010CCF CJifeng XuanHe JiangZhilei RenJun YanZhongxuan LuoCombinatorial Testing with Shielding Parameters
APSEC 2010CCF CBaiqiang ChenJun YanJian Zhang- 计算机研究与发展 2010严俊郭涛阮辉玄跻峰
2009
2008
Path and Context Sensitive Inter-procedural Memory Leak Detection
QSIC 2008Zhongxing XuJian ZhangPath-based verification for composition of semantic web services
SAC 2008Yuxiang ShiJun YanZhongjie LiJun ZhuTest Data Generation for C Programs with String-Handling Functions
TASE 2008CCF CHui RuanJian ZhangJun Yan
2007
Improvements for the Symbolic Verification of Timed Automata
FORTE 2007CCF CRongjie YanGuangyuan LiWenliang ZhangYunquan PengVolume Computation Using a Direct Monte Carlo Method
COCOON 2007CCF BSheng LiuJian ZhangBinhai Zhu
2006
A Powerful Technique to Eliminate Isomorphism in Finite Model Search
IJCAR 2006Xiangxue JiaJian ZhangA Test Data Generation Tool for Unit Testing of C Programs
QSIC 2006Zhongxing XuJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。