Jian Zhang

According to our database1, Jian Zhang authored at least 87 papers between 1994 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.
CoRR, 2018

Generating minimal test set satisfying MC/DC criterion via SAT based approach.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 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

A New Probabilistic Algorithm for Approximate Model Counting.
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 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 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

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.
Journal of Systems and Software, 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

2013
Finding orthogonal latin squares using finite model searching tools.
SCIENCE CHINA Information Sciences, 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

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

Tuple density: a new metric for combinatorial test suites.
Proceedings of the 33rd International Conference on Software Engineering, 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.
Journal of Systems and Software, 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. Exper., 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. Reasoning, 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
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...