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
∙
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
∙
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/17/2021
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications
Since the emergence of Ethereum, blockchain-based decentralized applicat...
research
∙
04/06/2021
Logging Practices with Mobile Analytics: An Empirical Study on Firebase
Software logs are of great value in both industrial and open-source proj...
research
∙
03/25/2020
Joint Shortening and Puncturing Optimization for Structured LDPC Codes
The demand for flexible broadband wireless services makes the pruning te...
research
∙
03/24/2020
Increasing Security Degree of Freedom in Multi-user and Multi-eve Systems
Secure communication in the Multi-user and Multi-eavesdropper (MUME) sce...
research
∙
03/03/2020
Design of Convergence-Optimized Non-binary LDPC Codes over Binary Erasure Channel
In this letter, we present a hybrid iterative decoder for non-binary low...
research
∙
03/01/2020
Compute-and-Forward Network Coding Design over Multi-Source Multi-Relay Channels
Network coding is a new and promising paradigm for modern communication ...
research
∙
03/01/2020
Optimal Upward Scaling of Minimum-TSC Binary Signature Sets
We consider upward scaling an overloaded min-TSC binary signature set an...
research
∙
03/01/2020
Integer-Forcing Linear Receiver Design with Slowest Descent Method
Compute-and-forward (CPF) strategy is one category of network coding in ...
research
∙
03/01/2020
Optimal Binary/Quaternary Adaptive Signature Design for Code-Division Multiplexing
We consider signature waveform design for synchronous code division mult...
research
∙
11/24/2016