research
∙
06/02/2023
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
Formal methods are promising for modeling and analyzing system requireme...
share
research
∙
04/09/2023
ODDFUZZ: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing
Java deserialization vulnerability is a severe threat in practice. Resea...
research
∙
11/19/2022
Entity-Assisted Language Models for Identifying Check-worthy Sentences
We propose a new uniform framework for text classification and ranking t...
research
∙
11/19/2022
Leveraging Users' Social Network Embeddings for Fake News Detection on Twitter
Social networks (SNs) are increasingly important sources of news for man...
research
∙
09/19/2022
Detecting and Fixing Data Loss Issues in Android Apps
Android apps are event-driven, and their execution is often interrupted ...
research
∙
10/22/2021
High-performance Estimation of Jamming Covariance Matrix for IRS-aided Directional Modulation Network with a Malicious Attacker
In this paper, we investigate the anti-jamming problem of a directional ...
research
∙
08/08/2020
Automated Functional Fuzzing of Android Apps
Android apps are GUI-based event-driven software and have become ubiquit...
research
∙
11/16/2019
Quality Assessment of DIBR-synthesized views: An Overview
The Depth-Image-Based-Rendering (DIBR) is one of the main fundamental te...
research
∙
05/19/2019
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences
JavaScript has become one of the most widely used languages for Web deve...
research
∙
02/01/2019
StoryDroid: Automated Generation of Storyboard for Android Apps
Mobile apps are now ubiquitous. Before developing a new app, the develop...
research
∙
08/09/2018
Efficiently Manifesting Asynchronous Programming Errors in Android Apps
Android, the #1 mobile app framework, enforces the single-GUI-thread mod...
research
∙
05/14/2018
AUSERA: Large-Scale Automated Security Risk Assessment of Global Mobile Banking Apps
Contemporary financial technology (FinTech) that enables cashless mobile...
research
∙
03/28/2018
Towards Efficient Data-flow Test Data Generation
Data-flow testing (DFT) checks the correctness of variable definitions b...
research
∙
03/20/2018
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
Deep learning defines a new data-driven programming paradigm that constr...
research
∙
03/20/2018
DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems
Deep learning defines a new data-driven programming paradigm that constr...
research
∙
03/17/2018
Towards Efficient Data-flow Test Data Generation Using KLEE
Dataflow coverage, one of the white-box testing criteria, focuses on the...
research
∙
02/23/2018
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
In this paper, we aim at the automated unit coverage-based testing for e...
research
∙
01/22/2018
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps
Mobile apps have become ubiquitous. For app developers, it is a key prio...
research
∙
11/20/2017