个人简介
招生专业
083500-软件工程
081202-计算机软件与理论
招生方向
程序分析与软件测试
自动推理与约束求解
学历
-- 研究生
学位
-- 博士
教授课程
软件测试与分析
专利与奖励
奖励信息
（1） 王选新闻科学技术奖, 一等奖, 其他, 2017
（2） 中创软件人才奖, , 其他, 2000
专利成果
（ 1 ） 基于附加测试的多参数系统错误模式快速定位方法, 发明, 2011, 第 2 作者, 专利号: 201010539469.4
（ 2 ） 一种多参量软件测试方法, 发明, 2010, 第 2 作者, 专利号: 201010526993.8
发表著作
（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
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） Efficient testing of GUI applications by event sequence reduction, Science of Computer Programming, 2021, 通讯作者
（2） Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks, CP, 2020, 第 6 作者
（3） Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts, ICSE, 2020, 通讯作者
（4） SinkFinder: Harvesting Hundreds of Unknown Interesting Function Pairs with Just One Seed, ESEC/FSE, 2020, 第 6 作者
（5） Static Asynchronous Component Misuse Detection for Android Applications, ESEC/FSE, 2020, 通讯作者
（6） Combinatorial Testing of Browsers' Support for Multimedia, IEEE Transactions on Reliability, 2020, 第 5 作者
（7） Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness, IEEE Transactions on Reliability, 2020, 第 6 作者
（8） DroidLeaks: a comprehensive database of resource leaks in Android apps, Empirical Software Engineering, 2019, 第 8 作者
（9） Analyses for specific defects in android applications: a survey, Frontiers of Computer Science, 2019, 第 4 作者
（10） Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing, ISSAC, 2019, 第 5 作者
（11） Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis, QRS, 2019, 第 4 作者
（12） SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs, ASE, 2019, 通讯作者
（13） Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring, IJCAI, 2019, 通讯作者
（14） Approximating Integer Solution Counting via Space Quantification for Linear Constraints, IJCAI, 2019, 通讯作者
（15） 程序分析研究进展, 软件学报, 2019, 第 1 作者
（16） Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android, ISSTA, 2019, 通讯作者
（17） Characterizing and identifying misexposed activities in Android applications, ASE, 2018, 通讯作者
（18） Checking Activity Transition Systems with Back Transitions Against Assertions, ICFEM, 2018, 通讯作者
（19） LAND: a user-friendly and customizable test generation tool for Android apps, ISSTA, 2018, 第 5 作者
（20） Generating minimal test set satisfying MC/DC criterion via SAT based approach, ACM SAC, 2018, 第 3 作者
（21） A New Probabilistic Algorithm for Approximate Model Counting, IJCAR, 2018, 第 4 作者
（22） Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing, IJCAR, 2018, 通讯作者
（23） InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications, Proc. of SANER, 2017, 第 5 作者
（24） Weak QMV algebras and some ring-like structures, Soft Computing, 2017, 第 4 作者
（25） Combinatorial Testing on Implementations of HTML5 Support, Proc. ICST Workshops, 2017, 第 4 作者
（26） Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps, Proc. QRS, 2017, 第 4 作者
（27） Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment, Proc. CP, 2017, 第 7 作者
（28） Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation, Proc. COMPSAC, 2017, 第 5 作者
（29） Symbolic Execution with Value-range Analysis for Floating-point Exception Detection, Proc. APSEC, 2017, 第 3 作者
（30） A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization, Journal of Systems and Software, 2017, 第 4 作者
（31） Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps, IEEE Trans. Software Engineering, 2016, 第 7 作者
（32） Fixing Resource Leaks in Android Apps with Light-weight Static Analysis and Low-overhead Instrumentation, Proc. ISSRE, 2016, 第 4 作者
（33） A deployable sampling strategy for data race detection, Proc. FSE, 2016, 第 2 作者
（34） Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search, Proc. CP, 2016, 第 7 作者
（35） Relda2: an effective static analysis tool for resource leak detection in Android apps, Proc. ASE, 2016, 第 5 作者
（36） Melton: a practical and precise memory leak detection tool for C programs, Frontiers of Computer Science, 2015, 第 2 作者
（37） Boundary Value Analysis in Automatic White-box Test Generation, Proc. ISSRE, 2015, 第 3 作者
（38） Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion, Proc. SERE 2014, 2014, 第 3 作者
（39） Canalyze: a static bug-finding tool for C programs, Proc. ISSTA 2014, 2014, 第 2 作者
（40） Generating combinatorial test suite using combinatorial optimization, Journal of Systems and Software, 2014, 第 4 作者
（41） Characterizing and Detecting Resource Leaks in Android Applications, Proc. ASE 2013, 2013, 第 2 作者
（42） Faulty Interaction Identification via Constraint Solving and Optimization, Proc. SAT 2012, LNCS 7317, 2012, 第 1 作者
（43） Integrating Standard Dependency Schemes in QCSP Solvers , Journal of Computer Science and Technology, 2012, 第 3 作者
（44） Tuple density: a new metric for combinatorial test suites , Proc. ICSE (NIER track), 2011, 第 2 作者
（45） Program analysis: from qualitative analysis to quantitative analysis, Proc. ICSE (NIER track), 2011, 第 2 作者
（46） A Memory Model for Static Analysis of C Programs, LNCS 6415, 2010, 第 3 作者
（47） Combinatorial testing with shielding parameters, Proc. APSEC, 2010, 第 3 作者
（48） Volume Computation for Boolean Combination of Linear Arithmetic Constraints, LNCS 5663, 2009, 第 3 作者
京公网安备 11010802027423号