research
∙
08/13/2023
Towards Modeling Software Quality of Virtual Reality Applications from Users' Perspectives
Virtual Reality (VR) technology has become increasingly popular in recen...
share
research
∙
07/27/2023
StubCoder: Automated Generation and Repair of Stub Code for Mock Objects
Mocking is an essential unit testing technique for isolating the class u...
research
∙
07/16/2023
Programming by Example Made Easy
Programming by example (PBE) is an emerging programming paradigm that au...
research
∙
06/06/2023
ωTest: WebView-Oriented Testing for Android Applications
WebView is a UI widget that helps integrate web applications into the na...
research
∙
04/24/2023
Is ChatGPT the Ultimate Programming Assistant – How far is it?
The recent progress in generative AI techniques has significantly influe...
research
∙
04/23/2023
Finding Failure-Inducing Test Cases with ChatGPT
Automatically detecting software failures is an important task and a lon...
research
∙
04/17/2023
A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair
ChatGPT has revolutionized many research and industrial fields. ChatGPT ...
research
∙
04/15/2023
Can Metamorphic Relations be Automatically Discovered?
Metamorphic testing alleviates the test oracle problem by defining oracl...
research
∙
01/30/2023
Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode
Millions of smart contracts have been deployed onto the Ethereum platfor...
research
∙
12/23/2022
Front-Running Attack Benchmark Construction and Vulnerability Detection Technique Evaluation
Front-running attacks have been a major concern on the blockchain. Attac...
research
∙
08/03/2022
HirFuzz: Detecting High-Level Optimization Bugs in DL Compilers via Computational Graph Generation
Deep Learning (DL) compilers are widely adopted to optimize advanced DL ...
research
∙
08/02/2022
MEMO: Coverage-guided Model Generation For Deep Learning Library Testing
Recent deep learning (DL) applications are mostly built on top of DL lib...
research
∙
01/29/2022
Aper: Evolution-Aware Runtime Permission Misuse Detection for Android Apps
The Android platform introduces the runtime permission model in version ...
research
∙
12/06/2021
Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network
Model compression can significantly reduce sizes of deep neural network ...
research
∙
09/01/2021
Characterizing and Detecting Configuration Compatibility Issues in Android Apps
XML configuration files are widely used in Android to define an app's us...
research
∙
08/24/2021
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
Smart contracts are programs running on blockchain to execute transactio...
research
∙
06/24/2021
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward
Android introduces a new permission model that allows apps to request pe...
research
∙
06/17/2021
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications
Since the emergence of Ethereum, blockchain-based decentralized applicat...
research
∙
02/24/2021
Hero: On the Chaos When PATH Meets Modules
Ever since its first release in 2009, the Go programming language (Golan...
research
∙
12/31/2020
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Since regular expressions (abbrev. regexes) are difficult to understand ...
research
∙
12/03/2020
SemMT: A Semantic-based Testing Approach for Machine Translation Systems
Machine translation has wide applications in daily life. In mission-crit...
research
∙
06/13/2020
Will Dependency Conflicts Affect My Program's Semantics?
Java projects are often built on top of various third-party libraries. I...
research
∙
11/24/2019
ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection
Ethereum smart contracts are programs that can be collectively executed ...
research
∙
09/06/2019
Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations
Deep learning models are widely used for image analysis. While they offe...
research
∙
10/13/2018
Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs
In the Internet of Things (IoT) community, Wireless Sensor Network (WSN)...
research
∙
11/24/2016