Ms. MA Xiaoxue (馬曉雪)
Research Output
- 2022
- Online published
Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations
Ma, X., Ashraf, I. & Chan, W. K., 7 Jun 2022, (Online published) In: IEEE Transactions on Reliability. 19 p.Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review
- 2021
- Published
OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling
Yang, C., Ashraf, I., Ma, X., Zhang, H. & Chan, W. K., Dec 2021, Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security (QRS 2021). IEEE, p. 279-290 12 p. (IEEE International Conference on Software Quality Reliability and Security).Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45) › 32_Refereed conference paper (with ISBN/ISSN) › peer-review
- Published
Sound Predictive Atomicity Violation Detection
Ma, X., Ashraf, I. & Chan, W. K., Dec 2021, PROCEEDINGS - 2021 21st International Conference on Software Quality, Reliability and Security, QRS 2021. Institute of Electrical and Electronics Engineers Inc., p. 114-125Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45) › 32_Refereed conference paper (with ISBN/ISSN) › peer-review
- Published
Execution Repair for Spark Programs by Active Maintenance of Partition Dependency
MEI, X., ASHRAF, I., MA, X., ZHANG, H., WEI, Z., WANG, H. & CHAN, W. K., 2021, In: IEEE Access. 9, p. 101555-101573Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review
- 2020
- Published
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
MA, X., WU, S., POBEE, E., MEI, X., ZHANG, H., JIANG, B. & CHAN, W., Dec 2020, In: ACM Transactions on Software Engineering and Methodology. 30, 1, 7.Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review
Scopus citations: 4 - Published
GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities
ASHRAF, I., MA, X., JIANG, B. & CHAN, W. K., 2020, In: IEEE Access. 8, p. 99552-99564 13 p.Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review
Scopus citations: 9 - 2017
- Published
Robust beam-tracking for mmWave mobile communications
Jayaprakasam, S., Ma, X., Choi, J. W. & Kim, S., Dec 2017, In: IEEE Communications Letters. 21, 12, p. 2654-2657Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review
Scopus citations: 72