Follow
Xiaoxue MA
Xiaoxue MA
PhD Candidate of computer science, City University of Hong Kong
Verified email at my.cityu.edu.hk
Title
Cited by
Cited by
Year
Robust Beam-Tracking for mmWave Mobile Communications
S Jayaprakasam, X Ma, JW Choi, S Kim
IEEE Communications Letters 21 (12), 2654-2657, 2017
1362017
GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities
I Ashraf, X Ma, B Jiang, WK Chan
IEEE Access 8, 99552-99564, 2020
382020
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
X Ma, S Wu, E Pobee, X Mei, H Zhang, B Jiang, WK Chan
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (1), 1-49, 2020
72020
Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations
X Ma, I Ashraf, WK Chan
IEEE Transactions on Reliability, 2022
22022
OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling
C Yang, I Ashraf, X Ma, H Zhang, WK Chan
2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021
12021
Sound Predictive Atomicity Violation Detection §
X Ma, I Ashraf, WK Chan
2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021
2021
Execution Repair for Spark Programs by Active Maintenance of Partition Dependency
X Mei, I Ashraf, X Ma, H Zhang, Z Wei, H Wang, WK Chan
IEEE Access 9, 101555-101573, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–7