Jun Yan

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution

Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion

Choreography Scenario-Based Test Data Generation

Generating combinatorial test suite using combinatorial optimization

A Search Strategy Guided by Uncovered Branches for Concolic Testing

Cascade: A Test Generation Tool for Combinatorial Testing

Characterizing and detecting resource leaks in Android applications

Profile directed systematic testing of concurrent programs

Towards Conformance Testing of Choreography Based on Scenario

A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines

Solving Generalized Optimization Problems Subject to SMT Constraints

Automatic Bug Triage using Semi-Supervised Text Classification

Combinatorial Testing with Shielding Parameters

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

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

Path-based verification for composition of semantic web services

Test Data Generation for C Programs with String-Handling Functions

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

BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach

Finding Relations Among Linear Constraints

SAT Based Automated Test Case Generation for MUMCUT Coverage