Publications

Integrating Standard Dependency Schemes in QCSP Solvers

Solving Generalized Optimization Problems Subject to SMT Constraints

Characterizing failure-causing parameter interactions by adaptive testing

Memory Leak Detection Based on Memory State Transition Graph

Model Construction and Priority Synthesis for Simple Interaction Systems

Program analysis: from qualitative analysis to quantitative analysis (NIER track)

Searching for Doubly Self-orthogonal Latin Squares

Tuple density: a new metric for combinatorial test suites (NIER track)

A Memory Model for Static Analysis of C Programs

Automatic Bug Triage using Semi-Supervised Text Classification

Combinatorial Testing with Shielding Parameters

Constraint solving techniques for software testing and analysis

JUTA: An Automated Unit Testing Framework for JavaJUTA: 一个Java自动化单元测试工具

Solving Global Unconstrained Optimization Problems by Symmetry-Breaking

Volume Computation for Boolean Combination of Linear Arithmetic Constraints

Infinite Loop Detection Based on Path Analysis基于路径分析的死循环检测

Combinatorial Testing: Principles and Methods组合测试：原理与方法

A backtracking search tool for constructing combinatorial test suites

An efficient method to generate feasible paths for basis path testing

Computer Search for Large Sets of Idempotent Quasigroups

Constraint Solving and Symbolic Execution

Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints

Path and Context Sensitive Inter-procedural Memory Leak Detection

Path-based verification for composition of semantic web services

Test Data Generation for C Programs with String-Handling Functions

Improvements for the Symbolic Verification of Timed Automata

Volume Computation Using a Direct Monte Carlo Method

A Powerful Technique to Eliminate Isomorphism in Finite Model Search

A Test Data Generation Tool for Unit Testing of C Programs

Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing