3 papers
cs.SE2018
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…
cs.SE2018
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…
cs.SE2018
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…