Jian Zhang

Affiliations:
  • Chinese Academy of Science, Institute of Software, China


According to our database1, Jian Zhang authored at least 143 papers between 1994 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Variable-strength combinatorial testing of exported activities based on misexposure prediction.
J. Syst. Softw., October, 2023

Scope-based Compiler Differential Testing.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Investigating the Existence of Holey Latin Squares via Satisfiability Testing.
Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023

Quantifying Robustness to Adversarial Word Substitutions.
Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023

Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Detection of Java Basic Thread Misuses Based on Static Event Analysis.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Improving Bit-Blasting for Nonlinear Integer Constraints.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract).
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures.
CoRR, 2022

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement.
CoRR, 2022

Quantifying Robustness to Adversarial Word Substitutions.
CoRR, 2022

ExcePy: A Python Benchmark for Bugs with Python Built-in Types.
Proceedings of the IEEE International Conference on Software Analysis, 2022

A Comprehensive Evaluation of Android ICC Resolution Techniques.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ε-weakened robustness of deep neural networks.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

String Test Data Generation for Java Programs.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Word Level Robustness Enhancement: Fight Perturbation with Perturbation.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Efficient testing of GUI applications by event sequence reduction.
Sci. Comput. Program., 2021

On the Capacity of MISO Optical Intensity Channels With Per-Antenna Intensity Constraints.
CoRR, 2021

Can Graph Neural Networks Learn to Solve MaxSAT Problem?
CoRR, 2021

Towards Practical Evaluation of Android ICC Resolution Techniques.
CoRR, 2021

Investigating the Existence of Costas Latin Squares via Satisfiability Testing.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Are the Scala Checks Effective? Evaluating Checks with Real-world Projects.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Dynamic Detection of AsyncTask Related Defects.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020
Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness.
IEEE Trans. Reliab., 2020

Combinatorial Testing of Browsers' Support for Multimedia.
IEEE Trans. Reliab., 2020

Counting the Number of Solutions to Constraints.
CoRR, 2020

Static asynchronous component misuse detection for Android applications.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

GTFuzz: Guard Token Directed Grey-Box Fuzzing.
Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

Multiple-entry testing of Android applications by constructing activity launching contexts.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks.
Proceedings of the Principles and Practice of Constraint Programming, 2020

2019
On some matching problems under the color-spanning model.
Theor. Comput. Sci., 2019

Analyses for specific defects in android applications: a survey.
Frontiers Comput. Sci., 2019

DroidLeaks: a comprehensive database of resource leaks in Android apps.
Empir. Softw. Eng., 2019

Understanding Ineffective Events and Reducing Test Sequences for Android Applications.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

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, 2019

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Adaptive Random Testing for XSS Vulnerability.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
Fuzzing: State of the Art.
IEEE Trans. Reliab., 2018

Computing and estimating the volume of the solution space of SMT(LA) constraints.
Theor. Comput. Sci., 2018

Generating minimal test set satisfying MC/DC criterion via SAT based approach.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Characterizing and identifying misexposed activities in Android applications.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

LAND: a user-friendly and customizable test generation tool for Android apps.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Checking Activity Transition Systems with Back Transitions Against Assertions.
Proceedings of the Formal Methods and Software Engineering, 2018

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

A New Probabilistic Algorithm for Approximate Model Counting.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

VolCE: An Efficient Tool for Solving #SMT(LA) Problems.
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018

2017
Weak QMV algebras and some ring-like structures.
Soft Comput., 2017

A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization.
J. Syst. Softw., 2017

A New Probabilistic Algorithm for Approximate Model Counting.
CoRR, 2017

InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Combinatorial Testing on Implementations of HTML5 Support.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Detecting Energy Bugs in Android Apps Using Static Analysis.
Proceedings of the Formal Methods and Software Engineering, 2017

On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.
Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017

Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps.
IEEE Trans. Software Eng., 2016

Target Directed Event Sequence Generation for Android Applications.
CoRR, 2016

Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic.
Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

Relda2: an effective static analysis tool for resource leak detection in Android apps.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.
Proceedings of the Principles and Practice of Constraint Programming, 2016

The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA).
CoRR, 2015

SMT Solving for the Theory of Ordering Constraints.
Proceedings of the Languages and Compilers for Parallel Computing, 2015

Boundary value analysis in automatic white-box test generation.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.
Proceedings of the FM 2015: Formal Methods, 2015

Absent Multiple Kernel Learning.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Automatic Generation of Combinatorial Test Data
Springer Briefs in Computer Science, Springer, ISBN: 978-3-662-43429-1, 2014

Generating combinatorial test suite using combinatorial optimization.
J. Syst. Softw., 2014

A Fast and Practical Method to Estimate Volumes of Convex Polytopes.
CoRR, 2014

Choreography Scenario-Based Test Data Generation.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Sample-Adaptive Multiple Kernel Learning.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Finding orthogonal latin squares using finite model searching tools.
Sci. China Inf. Sci., 2013

Towards Conformance Testing of Choreography Based on Scenario.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A Search Strategy Guided by Uncovered Branches for Concolic Testing.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

Characterizing and detecting resource leaks in Android applications.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Cascade: A Test Generation Tool for Combinatorial Testing.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Profile directed systematic testing of concurrent programs.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Performance Estimation Using Symbolic Data.
Proceedings of the Theories of Programming and Formal Methods, 2013

MACE4 and SEM: A Comparison of Finite Model Generators.
Proceedings of the Automated Reasoning and Mathematics, 2013

2012
Integrating Standard Dependency Schemes in QCSP Solvers.
J. Comput. Sci. Technol., 2012

A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Faulty Interaction Identification via Constraint Solving and Optimization.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Combinatorial Testing on ID3v2 Tags of MP3 Files.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Solving Generalized Optimization Problems Subject to SMT Constraints.
Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

2011
Characterizing failure-causing parameter interactions by adaptive testing.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Program analysis: from qualitative analysis to quantitative analysis.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Tuple density: a new metric for combinatorial test suites.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Searching for Doubly Self-orthogonal Latin Squares.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
Local lemma: a new strategy of pruning in SAT solvers.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Combinatorial Testing with Shielding Parameters.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Volume Computation for Boolean Combination of Linear Arithmetic Constraints.
Proceedings of the Automated Deduction, 2009

Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008
A backtracking search tool for constructing combinatorial test suites.
J. Syst. Softw., 2008

An efficient method to generate feasible paths for basis path testing.
Inf. Process. Lett., 2008

Basic research in computer science and software engineering at SKLCS.
Frontiers Comput. Sci. China, 2008

Test Data Generation for C Programs with String-Handling Functions.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Path and Context Sensitive Inter-procedural Memory Leak Detection.
Proceedings of the Eighth International Conference on Quality Software, 2008

Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Checking Inconsistency of Rule Sets in Active Real-Time Databases.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007
Volume Computation Using a Direct Monte Carlo Method.
Proceedings of the Computing and Combinatorics, 13th Annual International Conference, 2007

Computer Search for Large Sets of Idempotent Quasigroups.
Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007

2006
Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

A Test Data Generation Tool for Unit Testing of C Programs.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

A Powerful Technique to Eliminate Isomorphism in Finite Model Search.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Finding Relations Among Linear Constraints.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005
Constraint Solving and Symbolic Execution.
Proceedings of the Verified Software: Theories, 2005

Predicate-Oriented Isomorphism Elimination in Model Finding.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Computer Search for Counterexamples to Wilkie's Identity.
Proceedings of the Automated Deduction, 2005

2004
Improving First-order Model Searching by Propositional Reasoning and Lemma Learning.
Proceedings of the SAT 2004, 2004

Symbolic Execution of Program Paths Involving Pointer and Structure Variables.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Extending Finite Model Searching with Congruence Closure Computation.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2002
Automated test case generation for the stress testing of multimedia systems.
Softw. Pract. Exp., 2002

Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances.
Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

2001
Automatic symmetry breaking method combined with SAT.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Automatic Generation of Database Instances for White-box Testing.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

A Path-Based Approach to the Detection of Infinite Looping.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999
Stress Testing of Distributed Multimedia Software Systems.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

System Description: MCS: Model-based Conjecture Searching.
Proceedings of the Automated Deduction, 1999

1997
Finite Model Generation and Formal Specification Development.
Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

1996
Constructing Finite Algebras with FALCON.
J. Autom. Reason., 1996

System Description: Generating Models by SEM.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Combining Local Search and Backtracking Techniques for Constraint Satisfaction.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Automatic construction of finite algebras.
J. Comput. Sci. Technol., 1995

SEM: a System for Enumerating Models.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Constraint Propagation in Model Generation.
Proceedings of the Principles and Practice of Constraint Programming, 1995

1994
Problems on the Generation of Finite Models.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994


  Loading...