FAVOR: A Testing Framework for Detecting Atomicity ViOlations in ConcuRrent Traces

Project: Research

1 - 8 out of 8Page size: 20

Research Output

  1. 2021
  2. Published

    DeepEutaxy: Diversity in Weight Search Direction for Fixing Deep Learning Model Training through Batch Prioritization

    Zhang, H. & Chan, W. K., Sept 2021, In: IEEE Transactions on Reliability. 70, 3, p. 1040-1052 13 p.

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Check@CityULib
  3. 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 - Publication in refereed journal › peer-review

    Check@CityULib
  4. 2020
  5. 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 - Publication in refereed journal › peer-review

    Scopus citations: 6
    Check@CityULib
  6. Published

    Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness

    Zhang, L., Li, Z., Feng, Y., Zhang, Z., Chan, W. K., Zhang, J. & Zhou, Y., Sept 2020, In: IEEE Transactions on Reliability. 69, 3, p. 1021-1049 9082019.

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Scopus citations: 7
    Check@CityULib
  7. 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 - Publication in refereed journal › peer-review

    Scopus citations: 31
    Check@CityULib
  8. 2019
  9. Published

    A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications

    Jiang, B., Zhang, Y., Chan, W. K. & Zhang, Z., Sept 2019, In: IEEE Transactions on Reliability. 68, 3, p. 913-926

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Scopus citations: 7
    Check@CityULib
  10. 2018
  11. Published

    HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection

    Yang, J., Jiang, B. & Chan, W. K., Sept 2018, In: IEEE Transactions on Reliability. 67, 3, p. 786-801

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Scopus citations: 8
    Check@CityULib
  12. 2017
  13. Published

    Cross-validation based K nearest neighbor imputation for software quality datasets: An empirical study

    Huang, J., Keung, J. W., Sarro, F., Li, Y., Yu, Y. T., Chan, W. K. & Sun, H., Oct 2017, In: Journal of Systems and Software. 132, p. 226-252

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Scopus citations: 65
    Check@CityULib