Ms. MA Xiaoxue (馬曉雪)

?
Filters
Filters

Reset

to
1 - 7 out of 7Page size: 20

Research Output

  1. 2022
  2. 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

    Check@CityULib
  3. 2021
  4. 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

    Check@CityULib
  5. 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-125

    Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45) › 32_Refereed conference paper (with ISBN/ISSN) › peer-review

    Check@CityULib
  6. 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-101573

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review

    Check@CityULib
  7. 2020
  8. 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
    Check@CityULib
  9. 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
    Check@CityULib
  10. 2017
  11. 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-2657

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62) › 21_Publication in refereed journal › peer-review

    Scopus citations: 72
    Check@CityULib