2 papers
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…