activity
20122026
most citedFirst-Order vs. Second-Order Encodings for LTLf-to-Automata Translation

10 citations · 35 across the 34 of their papers we have counts for

collaborators
Showing 2018 · cs.SEShow all

5 papers · 2 filters

cs.SE2018

Efficiently Manifesting Asynchronous Programming Errors in Android Apps

Lingling Fan, Ting Su, Sen Chen +4

Android, the #1 mobile app framework, enforces the single-GUI-thread model, in which a single UI thread manages GUI rendering and event dispatching. Due to this model, it is vital…

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…

cs.SE2018

Large-Scale Analysis of Framework-Specific Exceptions in Android Apps

Lingling Fan, Ting Su, Sen Chen +5

Mobile apps have become ubiquitous. For app developers, it is a key priority to ensure their apps' correctness and reliability. However, many apps still suffer from occasional to f…