4 papers
On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers
Dominik Winterer, Chengyu Zhang, Zhendong Su
We propose type-aware operator mutation, a simple, but unusually effective approach for testing SMT solvers. The key idea is to mutate operators of conforming types within the seed…
Towards Efficient Data-flow Test Data Generation
Ting Su, Chengyu Zhang, Yichen Yan +5
Data-flow testing (DFT) aims to detect potential data interaction anomalies by focusing on the points at which variables receive values and the points at which these values are use…
Presentation Proposal: Towards Efficient Data-flow Test Data Generation Using KLEE
Chengyu Zhang, Ting Su, Yichen Yan +2
Dataflow coverage, one of the white-box testing criteria, focuses on the relations between variable definitions and their uses.Several empirical studies have proved data-flow testi…
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
Chengyu Zhang, Yichen Yan, Hanru Zhou +5
In this paper, we aim at the automated unit coverage-based testing for embedded software. To achieve the goal, by analyzing the industrial requirements and our previous work on aut…