- 1994_CADE_张健_Problems on the generation of finite models.pdf PDF
- 1995_CP_张健_Constraint_Propagation_In_Model_Generation.pdf PDF
- 1995_IJCAI_张健_SEM_a_System_for_Enumerating_Models.pdf PDF
- 1995_JCST_张健_Automatic Construction Of Finite Algebras.pdf PDF
- 1996_AAAI_张健_Combining Local Search and Backtracking Techniques for Constraint Satisfaction.pdf PDF
- 1996_CADE_张健_System description generating models by SEM.pdf PDF
- 1996_JAR_张健_Constructing Finite Algebras with FALCON.pdf PDF
- 1997_TOOLS_张健_Finite model generation and formal specification development.pdf PDF
- 1999_CADE_张健_System Description MCS Model-Based Conjecture Searching.pdf PDF
- 1999_FORTE_张健_Stress Testing of Distributed Multimedia Software Systems.pdf PDF
- 2000_APAQS_张健_Specification analysis and test data generation by solving Boolean combinations of numeric constraints.pdf PDF
- 2001_APAQS_张健_A path-based approach to the detection of infinite looping.pdf PDF
- 2001_COMPSAC_张健_Automatic generation of database instances for white-box testing.pdf PDF
- 2001_IJSEKE_张健_A Constraint Solver and Its Application to Path Feasibility Analysis.pdf PDF
- 2001_SAC_张健_Automatic symmetry breaking method combined with SAT.pdf PDF
- 2002_PRICAI_张健_Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances.pdf PDF
- 2002_Softw Pract Exp_ 张健_Automated test case generation for the stress testing of multimedia systems.pdf PDF
- 2004_AISC_ 张健_Extending Finite Model Searching with Congruence Closure Computation.pdf PDF
- 2004_QSIC_ 张健_Symbolic Execution of Program Paths Involving Pointer and Structure Variables.pdf PDF
- 2004_SAT_ 张健_Improving First-order Model Searching by Propositional Reasoning and Lemma Learning.pdf PDF
- 2005_CADE_张健_Computer Search for Counterexamples to Wilkie s Identity.pdf PDF
- 2005_IJCAI_ 贾祥雪_Predicate-Oriented Isomorphism Elimination in Model Finding.pdf PDF
- 2005_VSTTE_ 张健_Constraint Solving and Symbolic Execution VSTTE_2005.pdf PDF
- 2006_AISC_严俊_Finding Relations Among Linear Constraints.pdf PDF
- 2006_AISC_刘生_Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances.pdf PDF
- 2006_COMPSAC_严俊_Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing.pdf PDF
- 2006_IJCAR_ 贾祥雪_A Powerful Technique to Eliminate Isomorphism in Finite Model Search.pdf PDF
- 2006_ISSRE_严俊_BPEL4WS Unit Testing Test Case Generation Using a Concurrent Path Analysis Approach.pdf PDF
- 2006_JSS_严俊_A backtracking search tool for constructing combinatorial test suites.pdf PDF
- 2006_QSIC_许中兴_A Test Data Generation Tool for Unit Testing of C Program.pdf PDF
- 2006_Web Intelligence_刘生_Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem.pdf PDF
- 2007_ASCM_马菲菲_Computer Search for Large Sets of Idempotent Quasigroups.pdf PDF
- 2007_COCOON_刘生_Volume Computation Using a Direct Monte Carlo Method.pdf PDF
- 2008_FCS_张健_Basic research in computer science and software engineering at SKLCS.pdf PDF
- 2008_HASE_ 张健_Checking Inconsistency of Rule Sets in Active Real-Time Databases.pdf PDF
- 2008_Inf. Process. Lett._严俊_An efficient method to generate feasible paths for basis path testing.pdf PDF
- 2008_PRICAI_马菲菲_Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.pdf PDF
- 2008_QSIC_许中兴_Path and Context Sensitive Inter-procedural Memory Leak Detection.pdf PDF
- 2008_TASE_阮辉_Test Data Generation for C Programs with String-Handling Functions.pdf PDF
- 2009_ACIS-ICIS_季晓慧_Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.pdf PDF
- 2009_CADE_马菲菲_Volume Computation for Boolean Combination of Linear Arithmetic Constraints.pdf PDF
- 2010_APSEC_陈柏强_Combinatorial Testing with Shielding Parameters.pdf PDF
- 2010_ISoLA_许中兴_A Memory Model for Static Analysis of C Programs.pdf PDF
- 2010_SAC_ 贾祥雪_Local lemma a new strategy of pruning in SAT solvers.pdf PDF
- 2011_CP_卢闰明_Searching for Doubly Self-orthogonal Latin Squares.pdf PDF
- 2011_ICSE_刘生_Program analysis from qualitative analysis to quantitative analysis (NIER track).pdf PDF
- 2011_ICSE_陈柏强_Tuple density a new metric for combinatorial test suites (NIER track).pdf PDF
- 2011_ISSTA_张智强_Characterizing failure-causing parameter interactions by adaptive testing.pdf PDF
- 2012_FAW-AAIM_ 马菲菲_Solving Generalized Optimization Problems Subject to SMT Constraints.pdf PDF
- 2012_ICST_张智强_Combinatorial Testing on ID3v2 Tags of MP3 Files.pdf PDF
- 2012_JCST_金继伟_Integrating Standard Dependency Schemes in QCSP.pdf PDF
- 2012_SAT_张健_Faulty Interaction Identification via Constraint Solving and Optimization.pdf PDF
- 2012_TASE_吴添勇_A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines.pdf PDF
- 2013_ASE_郭超蓉_Characterizing and detecting resource leaks in Android applications.pdf PDF
- 2013_AST_Hu Yan_Profile directed systematic testing of concurrent programs.pdf PDF
- 2013_Automated Reasoning and Mathematics 2013_Zhang Hantao_MACE4 and SEM A Comparison of Finite Model Generators.pdf PDF
- 2013_ICST_赵勇_Cascade A Test Generation Tool for Combinatorial Testing.pdf PDF
- 2013_QSIC_Dong Qixing_A Search Strategy Guided By Uncovered Branches For Concolic Testing.pdf PDF
- 2013_Sci. China Inf. Sci_Finding orthogonal latin squares using finite model searching tools.pdf PDF
- 2013_TASE_Yang Hongli_Towards Conformance Testing of Choreography Based on Scenario.pdf PDF
- 2013_Theories of Programming and Formal Methods_张健_Performance Estimation Using Symbolic Data.pdf PDF
- 2014_CoRR_葛存菁_A Fast and Practical Method to Estimate Volumes of Convex Polytopespdf.pdf PDF
- 2014_JSS_张智强_Generating combinatorial test suite using combinatorial optimization.pdf PDF
- 2014_SERE_吴添勇_Automatic Test Data Generation for Unit Testing to Achieve MC DC Criterion.pdf PDF
- 2014_Springer Briefs in Computer Science_张智强_Automatic Generation of Combinatorial Test Data.pdf PDF
- 2014_TASE_Ma Kai_Choreography Scenario-Based Test Data Generation.pdf PDF
- 2015_CoRR_葛存菁_A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA).pdf PDF
- 2015_FCS_许振波_Melton a practical and precise memory leak detection tool for C programs.pdf PDF
- 2015_FM_朱雪阳_Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.pdf PDF
- 2015_ISSRE_张智强_Boundary value analysis in automatic white-box test generation.pdf PDF
- 2015_LCPC_葛存菁_SMT Solving for the Theory of Ordering Constraints.pdf PDF
- 2016_APSEC_吴兴明_The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.pdf PDF
- 2016_ASE_吴添勇_Relda2 an effective static analysis tool for resource leak detection in Android apps.pdf PDF
- 2016_CoRR_燕季薇_Target Directed Event Sequence Generation for Android Applications.pdf PDF
- 2016_CP_ 马菲菲_Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.pdf PDF
- 2016_ISSRE_刘杰瑞_Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation.pdf PDF
- 2016_PRICAI_Liu Hai_Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic.pdf PDF
- 2016_TSE_吴添勇_Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps.pdf PDF
- 2017_COMPSAC_燕东_Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.pdf PDF
- 2017_CoRR_葛存菁_A New Probabilistic Algorithm for Approximate Model Counting.pdf PDF
- 2017_CP_潘临杰_Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.pdf PDF
- 2017_FAW_Sergey Bereg_On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.pdf PDF
- 2017_ICFEM_Jiang Hao_Detecting Energy Bugs in Android Apps Using Static Analysis.pdf PDF
- 2017_ICST_邓茜_Combinatorial Testing on Implementations of HTML5 Support.pdf PDF
- 2017_JSS_张龙_A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization.pdf PDF
- 2017_QRS_燕季薇_Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps.pdf PDF
- 2017_SANER_刘杰瑞_InsDal A safe and extensible instrumentation tool on Dalvik byte-code for Android applications.pdf PDF
- 2017_Soft Comput_Lu Xian_Weak QMV algebras and some ring-like structurespdf.pdf PDF
- 2018_ASE_燕季薇_Characterizing and identifying misexposed activities in Android applications.pdf PDF
- 2018_CoRR_Sergey Bereg_On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.pdf PDF
- 2018_ICFEM_葛存菁_Checking Activity Transition Systems with Back Transitions Against Assertions.pdf PDF
- 2018_IEEE Trans. Reliab_梁洪亮_Fuzzing State of the Art.pdf PDF
- 2018_IJCAR_葛存菁_A New Probabilistic Algorithm for Approximate Model Counting.pdf PDF
- 2018_IJCAR_黄沛_Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.pdf PDF
- 2018_ISSTA_燕季薇_LAND a user-friendly and customizable test generation tool for Android apps.pdf PDF
- 2018_PRUV@IJCAR_葛存菁_A New Probabilistic Algorithm for Approximate Model Counting and Extensions for Numeric Domains.pdf PDF
- 2018_PRUV@IJCAR_葛存菁_VolCE An Efficient Tool for Solving #SMT(LA) Problems.pdf PDF
- 2018_SAC_杨玲_Generating minimal test set satisfying MC DC criterion via SAT based approach.pdf PDF
- 2018_Theor. Comput. Sci_葛存菁_Computing and estimating the volume of the solution space of SMT(LA) constraints.pdf PDF
- 2019_APSEC_吕成成_Adaptive Random Testing for XSS Vulnerability.pdf PDF
- 2019_ASE_马旭桐_SPrinter A Static Checker for Finding Smart Pointer Errors in C++ Programs.pdf PDF
- 2019_Empir. Softw. Eng_刘烨庞_DROIDLEAKS a comprehensive database of resource.pdf PDF
- 2019_FCS_吴添勇_Analyses for specific defects in Android applications a survey.pdf PDF
- 2019_IJCAI_葛存菁_Approximating Integer Solution Counting via Space Quantification for Linear Constraints.pdf PDF
- 2019_IJCAI_黄沛_Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring.pdf PDF
- 2019_ISSAC_黄沛_Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.pdf PDF
- 2019_ISSTA_潘临杰_Androlic an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.pdf PDF
- 2019_QRS_马旭桐_Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis.pdf PDF
- 2019_TASE_王平_Understanding Ineffective Events and Reducing Test Sequences for Android Applications.pdf PDF
- 2019_Theor. Comput. Sci_Sergey Bereg_On some matching problems under the color-spanning model.pdf PDF
- 2020_CoRR_葛存菁_Counting the Number of Solutions to Constraints.pdf PDF
- 2020_CP_刘明昊_Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks.pdf PDF
- 2020_FSE_潘临杰_Static asynchronous component misuse detection for Android applications.pdf PDF
- 2020_ICSE_燕季薇_Multiple-entry testing of Android applications by constructing activity launching contexts.pdf PDF
- 2020_IEEE Trans. Reliab._张龙_Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness.pdf PDF
- 2020_PRDC_李润东_GTFuzz Guard Token Directed Grey-Box Fuzzing.pdf PDF
- 2020_QRS_李梓劼_PEACEPACT Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing.pdf PDF
- 2021_CoRR_燕季薇_Towards Practical Evaluation of Android ICC Resolution Techniques.pdf PDF
- 2021_QRS_刘晴_Dynamic Detection of AsyncTask Related Defects.pdf PDF
- 2021_QRS_章新_Are the Scala Checks Effective Evaluating Checks with Real-world Projects.pdf PDF
- 2021_SAT_金继伟_Investigating the Existence of Costas Latin Squares via Satisfiability Testing.pdf PDF
- 2021_SAT_黄沛_Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5.pdf PDF
- 2021_SCP_燕季薇_Efficient testing of GUI applications by event sequence reduction.pdf PDF
- 中文张健 逻辑公式的可满足性判定方法工具及应用.pdf PDF
- 中文2005_计算机学报_季晓慧_约束求解与优化技术的结合.pdf PDF
- 中文2005_软件学报_吴萍_并发Java程序同步操作的有效删除.pdf PDF
- 中文2005_软件学报_季晓慧_求解布尔与非线性数值约束相混合的约束问题.pdf PDF
- 中文2005_软件学报_黄拙_由一阶逻辑公式得到命题逻辑可满足性问题实例.pdf PDF
- 中文2007_自动化学报_季晓慧_约束问题求解.pdf PDF
- 中文2007_计算机学报_阮辉_基于路径分析的死循环检测.pdf PDF
- 中文2007_计算机学报_陈云霁_一种基于SAT的运算电路查错方法.pdf PDF
- 中文2008_计算机学报_张健_精确的程序静态分析.pdf PDF
- 中文2009_软件学报_张健_组合测试_原理与方法.pdf PDF
- 中文2011_计算机学报_张健_《软件测试》专辑前言.pdf PDF
- 中文2013_计算机科学与探索_赵勇_软件兼容性测试的故障定位分析.pdf PDF
- 中文2015_计算机科学与探索_金继伟_SMT求解技术简述.pdf PDF
- 中文2016_软件学报_蔡彦_可部署的数据竞争采样检测技术.pdf PDF
- 中文2018_计算机学会通讯_张健_量化不可避免避免简单量化.pdf PDF
- 中文2019_计算机科学与探索_吕成成_Web应用程序搜索功能的组合测试.pdf PDF
- 中文2019_软件学报_张健_程序分析进展.pdf PDF
- 中文2021_计算机学会通讯_张健翻译_不要再玩数字游戏.pdf PDF