research
∙
07/21/2023
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework
Machine learning is widely used to make decisions with societal impact s...
share
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...
research
∙
03/24/2022
Identifying Boundary Conditions with the Syntax and Semantic Information of Goals
In goal-oriented requirement engineering, boundary conditions(BC) are us...
research
∙
09/19/2020
FakeRetouch: Evading DeepFakes Detection via the Guidance of Deliberate Noise
The novelty and creativity of DeepFake generation techniques have attrac...
research
∙
06/13/2020
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction
The recently rapid advances of generative adversarial networks (GANs) in...
research
∙
01/27/2020
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles
Nowadays, full face synthesis and partial face manipulation by virtue of...
research
∙
12/17/2019
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
We present Prema, a tool for Precise Requirement Editing, Modeling and A...
research
∙
12/17/2019
LTLf Synthesis with Fairness and Stability Assumptions
In synthesis, assumptions are constraints on the environment that rule o...
research
∙
01/18/2019
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
Translating formulas of Linear Temporal Logic (LTL) over finite traces, ...
research
∙
11/07/2018
SAT-based Explicit LTLf Satisfiability Checking
We present here a SAT-based framework for LTLf (Linear Temporal Logic on...
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
∙
03/28/2018
Towards Efficient Data-flow Test Data Generation
Data-flow testing (DFT) checks the correctness of variable definitions b...
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
∙
09/21/2017
A Symbolic Approach to Safety LTL Synthesis
Temporal synthesis is the automated design of a system that interacts wi...
research
∙
05/23/2017