软件工程、人工智能（自动推理；约束求解；软件测试；代码静态分析）

   

083500-软件工程
081202-计算机软件与理论

程序分析与软件测试
自动推理与约束求解
软件测试

   

-- 研究生

-- 博士

软件测试与分析

（1） 王选新闻科学技术奖, 一等奖, 其他, 2017
（2） 中创软件人才奖, , 其他, 2000

（ 1 ） 基于附加测试的多参数系统错误模式快速定位方法, 发明, 2011, 第 2 作者, 专利号: 201010539469.4
（ 2 ） 一种多参量软件测试方法, 发明, 2010, 第 2 作者, 专利号: 201010526993.8

   

[1] ICSE 2024. 2024, 第 5 作者
[2] ISSRE 2024. 2024, 第 5 作者  通讯作者  
[3] Deng, Xi, Yan, Jiwei, Zhang, Shixin, Yan, Jun, Zhang, Jian. Variable-strength combinatorial testing of exported activities based on misexposure prediction. JOURNAL OF SYSTEMS AND SOFTWARE[J]. 2023, 第 5 作者204: http://dx.doi.org/10.1016/j.jss.2023.111773.
[4] 张豪, 罗季, 胡梦泽, 严俊, 张健, 裘宗燕. Detecting Exception Handling Bugs in C++ Programs. ICSE. 2023, 第 5 作者  通讯作者  
[5] 李昌文, 晏荣杰, 张健. AdvSce：面向自动驾驶系统的安全关键场景生成工具. 中国科学:信息科学[J]. 2023, 第 3 作者53(04期): 815-820, 
[6] 崔保全, 王苗苗, 张弛, 燕季薇, 严俊, 张健. Detection of Java Basic Thread Misuses Based on Static Event Analysis. ASE. 2023, 第 6 作者
[7] 贾富琦, 韩瑞, 黄沛, 刘明昊, 马菲菲, 张健. Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA. 2023, 第 6 作者  通讯作者  
[8] Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang. Can Graph Neural Networks Learn to Solve the MaxSAT Problem?. AAAI. 2023, 第 8 作者
[9] 黄沛, 刘明昊, 马菲菲, 张健. 自动推理技术在求解组合数学难题中的研究进展. 计算机科学[J]. 2023, 第 4 作者50(7): 167-175, http://lib.cqvip.com/Qikan/Article/Detail?id=7109980531.
[10] 马旭桐, 燕季薇, 张豪, 严俊, 张健. Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. ASE. 2023, 第 5 作者  通讯作者  
[11] Jiwei Yan, Shixin Zhang, Yepang Liu, Jun Yan, Jian Zhang. ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications. ICSE-Companion. 2022, 第 5 作者  通讯作者  
[12] 章新, 晏荣杰, 燕季薇, 崔保全, 严俊, 张健. ExcePy: A Python Benchmark for Bugs with Python Built-in Types. SANER. 2022, 第 6 作者  通讯作者  
[13] Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang. Word Level Robustness Enhancement: Fight Perturbation with Perturbation. The Thirty-Sixth AAAI Conference on Artificial Intelligence. 2022, 第 6 作者  通讯作者  
[14] Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, Jian Zhang. Hunting bugs with accelerated optimal graph vertex matching. ISSTA. 2022, 第 7 作者
[15] 燕季薇, 张世新, 刘烨庞, 邓茜, 严俊, 张健. A Comprehensive Evaluation of Android ICC Resolution Techniques. ASE. 2022, 第 6 作者  通讯作者  
[16] Huang, Pei, Yang, Yuting, Liu, Minghao, Jia, Fuqi, Ma, Feifei, Zhang, Jian. {\epsilon}-weakened Robustness of Deep Neural Networks. ISSTA. 2022, 第 6 作者  通讯作者  
[17] Jian Zhang. Efficient SAT-based Minimal Model Generation Methods for Modal Logic S5. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021, 第 1 作者  通讯作者  
[18] 马旭桐, 燕季薇, 王伟, 严俊, 张健, 裘宗燕. Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. ASE. 2021, 第 5 作者  通讯作者  
[19] yan, Jiwei, Zhou, Hao, Deng, Xi, Wang, Ping, Yan, Rongjie, Yan, Jun, Zhang, Jian. Efficient testing of GUI applications by event sequence reduction. SCIENCE OF COMPUTER PROGRAMMING[J]. 2021, 第 7 作者  通讯作者  201: http://dx.doi.org/10.1016/j.scico.2020.102522.
[20] Jian Zhang. Investigating the Existence of Costas Latin Squares via Satisfiability Testing. The 24th International Conference on Theory and Applications of Satisfiability Testing. 2021, 第 1 作者
[21] Chen, Guozhu, Zeng, Fanping, Zhang, Jian, Lu, Tingting, Shen, Jingfei, Shu, Wenjuan. An adaptive trust model based on recommendation filtering algorithm for the Internet of Things systems. COMPUTER NETWORKS[J]. 2021, 第 3 作者190: http://dx.doi.org/10.1016/j.comnet.2021.107952.
[22] Deng, Xi, Zhang, Zhiqiang, Li, Rundong, Yan, Jun, Zhang, Jian. Combinatorial Testing of Browsers' Support for Multimedia. IEEE TRANSACTIONS ON RELIABILITY[J]. 2020, 第 5 作者69(4): 1323-1340, http://dx.doi.org/10.1109/TR.2020.2975150.
[23] Jian Zhang. SinkFinder: Harvesting Hundreds of Unknown Interesting Function Pairs with Just One Seed. ESEC/FSE. 2020, 第 1 作者
[24] Zhang, Long, Li, Zijie, Feng, Yang, Zhang, Zhenyu, Chan, Wing Kwong, Zhang, Jian, Zhou, Yuming. Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness. IEEE TRANSACTIONS ON RELIABILITY[J]. 2020, 第 6 作者69(3): 1021-1049, http://dx.doi.org/10.1109/TR.2020.2982975.
[25] 潘临杰, 崔保全, 刘昊, 燕季薇, 王思琪, 严俊, 张健. Static Asynchronous Component Misuse Detection for Android Applications. FSE. 2020, 第 7 作者  通讯作者  
[26] 燕季薇, 刘昊, 潘临杰, 严俊, 张健, 梁彬. Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts. ICSE. 2020, 第 5 作者  通讯作者  
[27] Jian Zhang. Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. The 26th International Conference on Principles and Practice of Constraint Programming. 2020, 第 1 作者
[28] 吕成成, 张龙, 邓茜, 曾凡平, 严俊, 张健. Web应用程序搜索功能的组合测试. 计算机科学与探索[J]. 2019, 第 6 作者13(11): 1839-1851, http://lib.cqvip.com/Qikan/Article/Detail?id=7100165602.
[29] Tianyong WU, Xi DENG, Jun YAN, Jian ZHANG. Analyses for specific defects in Android applications: a survey. 计算机科学前沿[J]. 2019, 第 4 作者13(6): 1210-1227, https://journal.hep.com.cn/fcs/CN/10.1007/s11704-018-7008-1.
[30] Jian Zhang. Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. QRS. 2019, 第 1 作者
[31] Lv Chengcheng, Zhang Long, Zeng Fanping, Zhang Jian, IEEE. Adaptive Random Testing for XSS Vulnerability. 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC). 2019, 第 4 作者63-69, 
[32] 张健, 张超, 玄跻峰, 熊英飞, 王千祥, 梁彬, 李炼, 窦文生, 陈振邦, 陈立前, 蔡彦. 程序分析研究进展. 软件学报[J]. 2019, 第 1 作者30(1): 80-109, http://lib.cqvip.com/Qikan/Article/Detail?id=7001388130.
[33] Jian Zhang. Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI. 2019, 第 1 作者  通讯作者  
[34] Liu, Yepang, Wang, Jue, Wei, Lili, Xu, Chang, Cheung, ShingChi, Wu, Tianyong, Yan, Jun, Zhang, Jian. DroidLeaks: a comprehensive database of resource leaks in Android apps. EMPIRICAL SOFTWARE ENGINEERING[J]. 2019, 第 8 作者24(6): 3435-3483, https://www.webofscience.com/wos/woscc/full-record/WOS:000501131100007.
[35] Huang, Pei, Liu, Minghao, Ge, Cunjing, Ma, Feifei, Zhang, Jian, ACM. Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19). 2019, 第 5 作者203-210, http://dx.doi.org/10.1145/3326229.3326232.
[36] Jian Zhang. SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs. ASE. 2019, 第 1 作者  通讯作者  
[37] Pan Linjie, Cui Baoquan, Yan Jiwei, Ma Xutong, Yan Jun, Zhang Jian, Zhang DM, Moller A. Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android. PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19). 2019, 第 6 作者  通讯作者  394-397, http://dx.doi.org/10.1145/3293882.3339001.
[38] Bereg, Sergey, Ma, Feifei, Wang, Wencheng, Zhang, Jian, Zhu, Binhai. On some matching problems under the color-spanning model. THEORETICALCOMPUTERSCIENCE[J]. 2019, 第 4 作者786: 26-31, http://dx.doi.org/10.1016/j.tcs.2018.08.008.
[39] Jian Zhang. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. The 28th International Joint Conference on Artificial Intelligence. 2019, 第 1 作者  通讯作者  
[40] Liang, Hongliang, Pei, Xiaoxiao, Jia, Xiaodong, Shen, Wuwei, Zhang, Jian. Fuzzing: State of the Art. IEEE TRANSACTIONS ON RELIABILITY[J]. 2018, 第 5 作者67(3): 1199-1218, https://www.webofscience.com/wos/woscc/full-record/WOS:000443970200032.
[41] 张健, 王海峰, 张文辉, 董威, 徐宝文. 安全攸关软件系统及其质量保障. 科技纵览[J]. 2018, 第 1 作者68-69, http://lib.cqvip.com/Qikan/Article/Detail?id=676232538.
[42] Ge Cunjing, Ma Feifei, Liu Tian, Zhang Jian, Ma Xutong, Galmiche D, Schulz S, Sebastiani R. A New Probabilistic Algorithm for Approximate Model Counting. AUTOMATED REASONING, IJCAR 2018. 2018, 第 4 作者10900: 312-328, 
[43] Ge, Cunjing, Yan, Jiwei, Yan, Jun, Zhang, Jian, Sun, J, Sun, M. Checking Activity Transition Systems with Back Transitions Against Assertions. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018. 2018, 第 4 作者  通讯作者  11232: 388-403, 
[44] Ge, Cunjing, Ma, Feifei, Zhang, Peng, Zhang, Jian. Computing and estimating the volume of the solution space of SMT(LA) constraints. THEORETICAL COMPUTER SCIENCE[J]. 2018, 第 4 作者743: 110-129, https://www.webofscience.com/wos/woscc/full-record/WOS:000444661700010.
[45] Yan, Jiwei, Pan, Linjie, Li, Yaqi, Yan, Jun, Zhang, Jian, Assoc Comp Machinery. LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps. ISSTA'18: PROCEEDINGS OF THE 27TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS. 2018, 第 5 作者360-363, http://dx.doi.org/10.1145/3213846.3229500.
[46] Yang Ling, Yan Jun, Zhang Jian, Assoc Comp Machinery. Generating Minimal Test Set Satisfying MC/DC Criterion via SAT Based Approach. 33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING. 2018, 第 3 作者  通讯作者  1899-1906, http://dx.doi.org/10.1145/3167132.3167335.
[47] Yan, Jiwei, Deng, Xi, Wang, Ping, Wu, Tianyong, Yan, Jun, Zhang, Jian, Huchard, M, Kastner, C, Fraser, G. Characterizing and Identifying Misexposed Activities in Android Applications. PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18). 2018, 第 6 作者  通讯作者  691-701, 
[48] Huang Pei, Ma Feifei, Ge Cunjing, Zhang Jian, Zhang Hantao, Galmiche D, Schulz S, Sebastiani R. Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. AUTOMATED REASONING, IJCAR 2018. 2018, 第 4 作者  通讯作者  10900: 354-369, 
[49] Bereg Sergey, Ma Feifei, Wang Wencheng, Zhang Jian, Zhu Binhai, Xiao M, Rosamond F. On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. FRONTIERS IN ALGORITHMICS, FAW 2017. 2017, 第 4 作者10336: 13-21, 
[50] Yan, Jiwei, Wu, Tianyong, Yan, Jun, Zhang, Jian, IEEE. Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps. 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS). 2017, 第 4 作者  通讯作者  42-53, http://dx.doi.org/10.1109/QRS.2017.14.
[51] Jian Zhang. Symbolic Execution with Value-range Analysis for Floating-point Exception Detection. 24th Asia-Pacific Software Engineering Conference (APSEC'17). 2017, 第 1 作者
[52] 燕季薇, 黄晓伟, 严俊, 张健, 杨红丽. 基于Android平台的黑盒测试生成工具的研究对比. 计算机应用与软件[J]. 2017, 第 4 作者34(8): 1-6,47, http://lib.cqvip.com/Qikan/Article/Detail?id=672752798.
[53] Lu, Xian, Shang, Yun, Lu, Ruqian, Zhang, Jian, Ma, Feifei. Weak QMV algebras and some ring-like structures. SOFT COMPUTING[J]. 2017, 第 4 作者21(10): 2537-2547, http://dx.doi.org/10.1007/s00500-017-2577-8.
[54] Yan Dong, Pan Linjie, Yan Rongjie, Yan Jun, Zhang Jian, Reisman S, Ahamed SI, Demartini C, Conte T, Liu L, Claycomb W, Nakamura M, Tovar E, Cimato S, Lung CH, Takakura H, Yang JJ, Akiyama T, Zhang Z, Hasan K. Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. 2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1. 2017, 第 5 作者67-74, 
[55] Liu Jierui, Wu Tianyong, Deng Xi, Yan Jun, Zhang Jian, Pinzger M, Bavota G, Marcus A. InsDal: A Safe and Extensible Instrumentation Tool on Dalvik Byte-Code for Android Applications. 2017 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER). 2017, 第 5 作者502-506, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000402557000059.
[56] Pan, Linjie, Jin, Jiwei, Gao, Xin, Sun, Wei, Ma, Feifei, Yin, Minghao, Zhang, Jian, Beck, JC. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017). 2017, 第 7 作者10416: 405-413, 
[57] Jiang Hao, Yang Hongli, Qin Shengchao, Su Zhendong, Zhang Jian, Yan Jun, Duan Z, Ong L. Detecting Energy Bugs in Android Apps Using Static Analysis. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2017. 2017, 第 5 作者10610: 192-208, 
[58] Deng, Xi, Wu, Tianyong, Yan, Jun, Zhang, Jian, IEEE. Combinatorial Testing on Implementations of HTML5 Support. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017. 2017, 第 4 作者262-271, 
[59] Zhang, Long, Yan, Lanfei, Zhang, Zhenyu, Zhang, Jian, Chan, W K, Zheng, Zheng. A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization. JOURNAL OF SYSTEMS AND SOFTWARE[J]. 2017, 第 4 作者129: 35-57, http://dx.doi.org/10.1016/j.jss.2017.04.017.
[60] 杨红丽, 姜皓, 秦胜潮, 张健, 严俊. Android应用能耗漏洞分析技术综述. 计算机应用与软件[J]. 2016, 第 4 作者33(9): 1-6, http://lib.cqvip.com/Qikan/Article/Detail?id=670036516.
[61] Wu, Tianyong, Liu, Jierui, Xu, Zhenbo, Guo, Chaorong, Zhang, Yanli, Yan, Jun, Zhang, Jian. Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[J]. 2016, 第 7 作者42(11): 1054-1076, http://dx.doi.org/10.1109/TSE.2016.2547385.
[62] Wu Tianyong, Liu Jierui, Deng Xi, Yan Jun, Zhang Jian, Lo D, Apel S, Khurshid S. Relda2: An Effective Static Analysis Tool for Resource Leak Detection in Android Apps. 2016 31ST IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE). 2016, 第 5 作者762-767, 
[63] Wu Xingming, Xu Zhenbo, Yan Dong, Wu Tianyong, Yan Jun, Zhang Jian, Potanin A, Murphy GC, Reeves S, Dietrich J. The Floating-point Extension of Symbolic Execution Engine for Bug Detection. 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016). 2016, 第 6 作者265-272, 
[64] Jian Zhang. Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. The 22nd International Conference on Principles and Practice of Constraint Programming. 2016, 第 1 作者
[65] Liu Jierui, Wu Tianyong, Yan Jun, Zhang Jian, IEEE. Fixing Resource Leaks in Android Apps with Light-weight Static Analysis and Low-overhead Instrumentation. 2016IEEE27THINTERNATIONALSYMPOSIUMONSOFTWARERELIABILITYENGINEERINGISSRE. 2016, 第 4 作者342-352, 
[66] Jian Zhang. A deployable sampling strategy for data race detection. Proc. FSE. 2016, 第 1 作者
[67] Yan Hu, Jun Yan, Jian Zhang, He Jiang. Profile Directed Systematic Testing of Concurrent Programs. 2013 8th International workshop on automation of software test: AST 2013, San Francisco, California, USA, 18-19 May 2013. 2015, 第 3 作者47-52, 
[68] 金继伟, 马菲菲, 张健. SMT求解技术简述. 计算机科学与探索[J]. 2015, 第 3 作者9(7): 769-780, http://lib.cqvip.com/Qikan/Article/Detail?id=665316953.
[69] Xu, Zhenbo, Zhang, Jian, Xu, Zhongxing. Melton: a practical and precise memory leak detection tool for C programs. FRONTIERS OF COMPUTER SCIENCE[J]. 2015, 第 2 作者  通讯作者  9(1): 34-54, https://www.webofscience.com/wos/woscc/full-record/WOS:000348798400003.
[70] Jian Zhang. Boundary Value Analysis in Automatic White-box Test Generation. Proc. ISSRE. 2015, 第 1 作者
[71] Jian Zhang. Canalyze: a static bug-finding tool for C programs. Proc. ISSTA 2014. 2014, 第 1 作者
[72] Zhang, Zhiqiang, Yan, Jun, Zhao, Yong, Zhang, Jian. Generating combinatorial test suite using combinatorial optimization. JOURNAL OF SYSTEMS AND SOFTWARE[J]. 2014, 第 4 作者98: 191-207, http://dx.doi.org/10.1016/j.jss.2014.09.001.
[73] Wu Tianyong, Yan Jun, Zhang Jian, IEEE. Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. 2014 EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY. 2014, 第 3 作者118-126, 
[74] Hu Yan, Yan Jun, Zhang Jian, Jiang He, IEEE. Profile Directed Systematic Testing of Concurrent Programs. 2013 8TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST). 2013, 第 3 作者47-52, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000332877400008.
[75] Zhao Yong, Zhang Zhiqiang, Yan Jun, Zhang Jian. Cascade: a Test Generation Tool for Combinatorial Testing. IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013). 2013, 第 4 作者267-270, 
[76] Dong Qixing, Yan Jun, Zhang Jian, Zeng Fanping, Gotlieb A, Chen Z. A Search Strategy Guided By Uncovered Branches For Concolic Testing. 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC). 2013, 第 3 作者21-24, 
[77] 赵勇, 张智强, 严俊, 张健. 软件兼容性测试的故障定位分析. 计算机科学与探索[J]. 2013, 第 4 作者7(5): 405-411, http://lib.cqvip.com/Qikan/Article/Detail?id=45852031.
[78] Ma FeiFei, Zhang Jian. Finding orthogonal latin squares using finite model searching tools. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2013, 第 2 作者  通讯作者  56(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000318197000012.
[79] Guo Chaorong, Zhang Jian, Yan Jun, Zhang Zhiqiang, Zhang Yanli, IEEE. Characterizing and Detecting Resource Leaks in Android Applications. 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE). 2013, 第 2 作者389-398, 
[80] Wu Tianyong, Yan Jun, Zhang Jian. A path-oriented approach to generating executable test sequences for extended finite state machines. PROCEEDINGS - IEEE 6TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2012. 2012, 第 3 作者267-270, http://ir.iscas.ac.cn/handle/311060/15750.
[81] Ma Feifei, Yan Jun, Zhang Jian. Solving generalized optimization problems subject to smt constraints. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 3 作者247-258, http://ir.iscas.ac.cn/handle/311060/15733.
[82] Zhang Jian, Ma Feifei, Zhang Zhiqiang. Faulty interaction identification via constraint solving and optimization. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 1 作者186-199, http://ir.iscas.ac.cn/handle/311060/15773.
[83] Jin, JiWei, Ma, FeiFei, Zhang, Jian. Integrating Standard Dependency Schemes in QCSP Solvers. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2012, 第 3 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[84] Zhang Zhiqiang, Liu Xiaojian, Zhang Jian. Combinatorial testing on id3v2 tags of mp3 files. PROCEEDINGS - IEEE 5TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2012. 2012, 第 3 作者587-590, http://ir.iscas.ac.cn/handle/311060/15715.
[85] Zhang, Xinchang, Yang, Meihong, Zhang, Jian, Shi, Huiling, Zhang, Wei. A study on the extended unique input/output sequence. INFORMATION SCIENCES[J]. 2012, 第 3 作者203: 44-58, http://dx.doi.org/10.1016/j.ins.2012.03.007.
[86] 金继伟, 马菲菲, 张健. Integrating Standard Dependency Schemes in QCSP Solvers. 计算机科学技术学报：英文版[J]. 2012, 第 3 作者27(1): 37-41, http://lib.cqvip.com/Qikan/Article/Detail?id=40704184.
[87] Liu Sheng, Zhang Jian, IEEE. Program Analysis: From Qualitative Analysis to Quantitative Analysis (NIER Track). 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE). 2011, 第 2 作者956-959, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000297156400123.
[88] Xu Zhenbo, Zhang Jian, Xu Zhongxing. Memory Leak Detection Based On Memory State Transition Graph. 2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011). 2011, 第 2 作者33-40, 
[89] Chen Baiqiang, Zhang Jian. Tuple density: a new metric for combinatorial test suites (nier track). PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. 2011, 第 2 作者876-879, http://124.16.136.157/handle/311060/14209.
[90] Chen Baiqiang, Yan Jun, Zhang Jian. Combinatorial testing with shielding parameters. PROCEEDINGS - ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC. 2010, 第 3 作者280-289, http://124.16.136.157/handle/311060/8692.
[91] Xu Zhongxing, Kremenek Ted, Zhang Jian, Margaria T, Steffen B. A Memory Model for Static Analysis of C Programs. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I. 2010, 第 3 作者6415: 535-+, 
[92] Chen, Baiqiang, Yan, Jun, Zhang, Jian, Han, J, Thu, TD. Combinatorial Testing with Shielding Parameters. 17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010). 2010, 第 3 作者280-289, 
[93] 严俊, 张健. 组合测试：原理与方法. 软件学报[J]. 2009, 第 2 作者1393-1405, http://lib.cqvip.com/Qikan/Article/Detail?id=30626092.
[94] Ji Xiaohui, Ma Feifei, Zhang Jian, Miao H, Hu G. Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE. 2009, 第 3 作者107-+, http://dx.doi.org/10.1109/ICIS.2009.66.
[95] 阮辉, 严俊, 张健. 基于路径分析的死循环检测. 计算机学报[J]. 2009, 第 3 作者1750-1758, http://lib.cqvip.com/Qikan/Article/Detail?id=31573016.
[96] Ma Feifei, Liu Sheng, Zhang Jian, Schmidt RA. Volume Computation for Boolean Combination of Linear Arithmetic Constraints. AUTOMATED DEDUCTION - CADE-22. 2009, 第 3 作者5663: 453-468, 
[97] 张健. 精确的程序静态分析. 计算机学报[J]. 2008, 第 1 作者31(9): 1549-1553, http://lib.cqvip.com/Qikan/Article/Detail?id=28228229.
[98] Zhang Jian, Zhang Wenhui, Zhan Naijun, Shen Yidong, Chen Haiming, Zhang Yunquan, Wang Yongji, Wu Enhua, Wang Hongan, Zhu Xueyang. Basic research in computer science and software engineering at sklcs. FRONTIERS OF COMPUTER SCIENCE IN CHINA[J]. 2008, 第 1 作者2(1): 1-11, 
[99] Yan, Jun, Zhang, Jian. An efficient method to generate feasible paths for basis path testing. INFORMATION PROCESSING LETTERS[J]. 2008, 第 2 作者  通讯作者  107(3-4): 87-92, https://www.webofscience.com/wos/woscc/full-record/WOS:000257531300001.
[100] 徐贵红, 张健. 语义网的一阶逻辑推理技术支持. 软件学报[J]. 2008, 第 2 作者19(12): 3091-3099, http://lib.cqvip.com/Qikan/Article/Detail?id=28816350.
[101] Yan, Jun, Zhang, Jian. A backtracking search tool for constructing combinatorial test suites. JOURNAL OF SYSTEMS AND SOFTWARE[J]. 2008, 第 2 作者  通讯作者  81(10): 1681-1693, http://dx.doi.org/10.1016/j.jss.2008.02.034.
[102] 陈云霁, 张健, 沈海华, 胡伟武. 一种基于SAT的运算电路查错方法. 计算机学报[J]. 2007, 第 2 作者30(12): 2082-2089, http://lib.cqvip.com/Qikan/Article/Detail?id=26098706.
[103] 季晓慧, 张健. 约束问题求解. 自动化学报[J]. 2007, 第 2 作者33(2): 125-131, http://www.aas.net.cn:80/cn/article/doi/10.1360/aas-007-0125.
[104] 徐贵红, 张健. 基于约束的主动规则终止性分析. 计算机研究与发展[J]. 2006, 第 2 作者43(5): 894-900, http://lib.cqvip.com/Qikan/Article/Detail?id=21816494.
[105] 季晓慧, 张健. 一种求解混合约束问题的快速完备算法. 计算机研究与发展[J]. 2006, 第 2 作者43(3): 551-556, http://lib.cqvip.com/Qikan/Article/Detail?id=21356792.
[106] Zhang Jian, Ji XIaohui. 求解布尔与非线性数值约束相混合的约束问题. 软件学报[J]. 2005, 第 1 作者16(5): 659-668, http://lib.cqvip.com/Qikan/Article/Detail?id=15677466.
[107] 季晓慧, 黄拙, 张健. 约束求解与优化技术的结合. 计算机学报[J]. 2005, 第 3 作者28(11): 1790-1797, http://lib.cqvip.com/Qikan/Article/Detail?id=20636526.
[108] 季晓慧, 张健. 求解布尔与非线性数值约束相混合的约束问题. 软件学报[J]. 2005, 第 2 作者16(5): 659-668, http://lib.cqvip.com/Qikan/Article/Detail?id=15677466.
[109] 李韶华, 张健. Survey Propagation：一种求解SAT的高效算法. 计算机科学[J]. 2005, 第 2 作者32(1): 132-137, http://lib.cqvip.com/Qikan/Article/Detail?id=12050395.
[110] Zhang Jian, Huang Zhuo. 由一阶逻辑公式得到命题逻辑可满足性问题实例. 软件学报[J]. 2005, 第 1 作者16(3): 327-335, http://lib.cqvip.com/Qikan/Article/Detail?id=15052072.
[111] 吴萍, 陈意云, 张健. 并发Java程序同步操作的有效删除. 软件学报[J]. 2005, 第 3 作者16(10): 1708-1716, http://lib.cqvip.com/Qikan/Article/Detail?id=20256546.
[112] 杨宇, 张健. 程序静态分析技术与工具. 计算机科学[J]. 2004, 第 2 作者31(2): 171-174, http://lib.cqvip.com/Qikan/Article/Detail?id=9323003.
[113] 张健. 有限构模器的扩展及其在形式化方法中的应用. 计算机学报[J]. 2000, 第 1 作者23(2): 190-194, http://lib.cqvip.com/Qikan/Article/Detail?id=4138446.
[114] 张健. —一阶逻辑中约束求解的局部搜索法. 软件学报[J]. 1998, 第 1 作者9(8): 598-600, http://lib.cqvip.com/Qikan/Article/Detail?id=3276429.
[115] 张健. 模态逻辑推理的翻译方法. 计算机研究与发展[J]. 1998, 第 1 作者35(5): 389-392, http://lib.cqvip.com/Qikan/Article/Detail?id=3023911.
[116] 张健. Automatic construction of finite algebras. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 1995, 第 1 作者10(3): 206-213, http://lib.cqvip.com/Qikan/Article/Detail?id=6853499.
[117] 张健. 数学对象的计算机搜索. 自然杂志[J]. 1992, 第 1 作者215-219, http://lib.cqvip.com/Qikan/Article/Detail?id=1005171315.

（1） 逻辑公式的可满足性判定--方法、工具及应用, Deciding the Satisfiability of Logical Formulas -- Methods, Tools and Applications, 科学出版社, 2000-10, 第 1 作者
（2） 组合测试数据自动生成, Automatic Generation of Combinatorial Test Data, Springer, 2014-09, 第 1 作者

   

（ 1 ） 安全攸关软件系统的构造与质量保障方法研究, 主持, 国家级, 2014-01--2018-08
（ 2 ） 软件安全性分析的关键技术与工具, 主持, 国家级, 2015-01--2016-12
（ 3 ） 大规模软件的自动化分析与测试, 主持, 部委级, 2017-05--2022-05

已指导学生

徐贵红  博士研究生  081202-计算机软件与理论  

严俊  博士研究生  081202-计算机软件与理论  

季晓慧  博士研究生  081202-计算机软件与理论  

李韶华  硕士研究生  081203-计算机应用技术  

石玉祥  硕士研究生  081202-计算机软件与理论  

刘生  博士研究生  081202-计算机软件与理论  

许中兴  博士研究生  081202-计算机软件与理论  

贾祥雪  博士研究生  081202-计算机软件与理论  

阮辉  硕士研究生  081202-计算机软件与理论  

陈柏强  博士研究生  081202-计算机软件与理论  

马菲菲  博士研究生  081202-计算机软件与理论  

卢闰明  硕士研究生  081202-计算机软件与理论  

赵勇  硕士研究生  081202-计算机软件与理论  

郭超容  硕士研究生  081202-计算机软件与理论  

张智强  博士研究生  081202-计算机软件与理论  

张艳丽  硕士研究生  085211-计算机技术  

葛存菁  博士研究生  081202-计算机软件与理论  

吴兴明  博士研究生  081202-计算机软件与理论  

吴添勇  博士研究生  083500-软件工程  

燕季薇  硕士研究生  083500-软件工程  

刘洁瑞  硕士研究生  085211-计算机技术  

张龙  博士研究生  081202-计算机软件与理论  

吕亦奇  硕士研究生  085211-计算机技术  

杨玲  硕士研究生  085211-计算机技术  

王平  硕士研究生  083500-软件工程  

李润东  硕士研究生  085211-计算机技术  

现指导学生

黄沛  博士研究生  081202-计算机软件与理论  

潘临杰  博士研究生  083500-软件工程  

刘明昊  博士研究生  081202-计算机软件与理论  

邓茜  博士研究生  083500-软件工程  

马旭桐  博士研究生  083500-软件工程  

刘晴  硕士研究生  085212-软件工程  

刘力铭  硕士研究生  085212-软件工程  

章新  硕士研究生  083500-软件工程  

张豪  博士研究生  081202-计算机软件与理论  

王伟  硕士研究生  085212-软件工程  

贾富琦  博士研究生  081200-计算机科学与技术  

王思琪  硕士研究生  085400-电子信息  

崔保全  博士研究生  083500-软件工程  

张丽玮  硕士研究生  083500-软件工程  

1999年起，任中国科学院软件研究所研究员；
2000年起，任中国科学院软件研究所博士生导师。
2004年起，任《计算机学报》编委；
2010年起，任 JCST 编委、Frontiers of CS 编委。