Xiaoxue Ma

Xiaoxue Ma

City University of Hong Kong - Kowloon / Hong Kong
Engineering & Technology / Computer Science
AD Scientific Index ID: 4583461
person_outline Xiaoxue Ma's MOST POPULAR ARTICLES
1-) Robust Beam-Tracking for mmWave Mobile Communications IEEE Communications Letters 21 (12), 2654-2657, 2017
2-) GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities IEEE Access 8, 99552-99564, 2020
3-) RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (1), 1-49, 2020
4-) Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations IEEE Transactions on Reliability, 2022
5-) OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021