Prof. CHAN Wing Kwong (陳榮光)

Research Output

  1. 2020
  2. 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.-K., Dec 2020, In: ACM Transactions on Software Engineering and Methodology. 30, 1, 7.

    Research output: Journal Publications and ReviewsRGC 21 - Publication in refereed journalpeer-review

    Scopus citations: 6
    Check@CityULib
  3. Published

    Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection

    Wang, A., Wang, H., Jiang, B. & Chan, W. K., Nov 2020, Proceedings - 2020 7th International Conference on Dependable Systems and Their Applications: DSA 2020. Institute of Electrical and Electronics Engineers, Inc., p. 173-181 9331236. (Proceedings - International Conference on Dependable Systems and Their Applications, DSA).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 15
    Check@CityULib
  4. 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 ReviewsRGC 21 - Publication in refereed journalpeer-review

    Scopus citations: 9
    Check@CityULib
  5. Published

    BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs

    Mei, X., Wei, Z., Zhang, H. & Chan, W. K., Jul 2020, Proceedings - 2020 IEEE/ACM 1st International Conference on Automation of Software Test (AST 2020). Association for Computing Machinery, p. 71-80 (Proceedings - IEEE/ACM 1st International Conference on Automation of Software Test, AST ).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Check@CityULib
  6. Published

    CUDAsmith: A Fuzzer for CUDA Compilers

    Jiang, B., Wang, X., Chan, W. K., Tse, T. H., Li, N., Yin, Y. & Zhang, Z., Jul 2020, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference. Chan, W. K., Claycomb, B., Takakura, H., Yang, J.-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). Institute of Electrical and Electronics Engineers, Inc., p. 861-871 9202798. (Proceedings - IEEE Annual Computers, Software, and Applications Conference, COMPSAC).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 10
    Check@CityULib
  7. Published

    EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection

    Huang, Y., Jiang, B. & Chan, W. K., 2020, 12th Asia-Pacific Symposium on Internetware, Internetware' 2020. Association for Computing Machinery, p. 99-109 11 p.

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 23
    Check@CityULib
  8. 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 ReviewsRGC 21 - Publication in refereed journalpeer-review

    Scopus citations: 34
    Check@CityULib
  9. Published

    Message from the 2020 Program Chairs-in-Chief

    Chan, W. K., Claycomb, B. & Takakura, H., 2020, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020. Institute of Electrical and Electronics Engineers, Inc., p. xli-xlii (Proceedings - IEEE Annual Computers, Software, and Applications Conference, COMPSAC).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)

    Check@CityULib
  10. 2019
  11. Published

    Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models

    Zhang, H. & Chan, W. K., Nov 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019: Proceedings. Institute of Electrical and Electronics Engineers, p. 376-387 8952197. (Proceedings - IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 69
    Check@CityULib
  12. Published

    Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs

    Pobee, E., Mei, X. & Chan, W. K., Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). Institute of Electrical and Electronics Engineers, Inc., p. 760-771 8952181. (Proceedings - IEEE/ACM International Conference on Automated Software Engineering, ASE).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 6
    Check@CityULib
  13. 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 ReviewsRGC 21 - Publication in refereed journalpeer-review

    Scopus citations: 7
    Check@CityULib
  14. Published

    AggrePlay: Efficient Record and Replay of Multi-threaded Programs

    Pobee, E. & Chan, W. K., Aug 2019, ESEC/FSE '19 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Dumas, M., Pfahl, D. & Apel, S. (eds.). Association for Computing Machinery, Inc, p. 567-577 11 p. (ESEC/FSE - Proceedings of the ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 9
    Check@CityULib
  15. Published

    A Fuzz Testing Service for Assuring Smart Contracts

    Mei, X., Ashraf, I., Jiang, B. & Chan, W. K., Jul 2019, 2019 IEEE 19th International Conference on Software Quality, Reliability, and Security Companion, QRS-C . Institute of Electrical and Electronics Engineers, Inc., p. 544-545 8859497. (IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 15
    Check@CityULib
  16. Published

    ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs

    Zhu, B., Meng, R., Zhang, Z. & Chan, W. K., Jul 2019, 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019: Proceedings. Institute of Electrical and Electronics Engineers, Inc., p. 169-178 8754099. (Proceedings - International Computer Software and Applications Conference).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Check@CityULib
  17. 2018
  18. Published

    Fuse: An Architecture for Smart Contract Fuzz Testing Service

    Chan, W. K. & Jiang, B., 4 Dec 2018, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. Institute of Electrical and Electronics Engineers, Inc., p. 707-708 8719542. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2018-December).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 22
    Check@CityULib
  19. Published

    ContractFuzzer: Fuzzing smart contracts for vulnerability detection

    Jiang, B., Liu, Y. & Chan, W. K., 3 Sept 2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery (ACM), p. 259-269 (Proceedings of the ... ACM/IEEE International Conference on Automated Software Engineering; vol. 33).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 608
    Check@CityULib
  20. 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 ReviewsRGC 21 - Publication in refereed journalpeer-review

    Scopus citations: 8
    Check@CityULib
  21. Published

    A Gamification Technique for Motivating Students to Learn Code Readability in Software Engineering

    Mi, Q., Keung, J., Mei, X., Xiao, Y. & Chan, W. K., Jul 2018, Proceedings - 2018 International Symposium on Educational Technology, ISET 2018. Wang, F. L., Au, O. & Konno, T. (eds.). Institute of Electrical and Electronics Engineers, Inc., p. 250-254 8456230

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Scopus citations: 22
    Check@CityULib
  22. Published

    GBRAD: A General Framework to Evaluate Design Strategies for Hybrid Race Detection

    Yang, J., Chan, W. K., Yu, Y. T. & Keung, J., Jul 2018, Proceedings : 2018 IEEE 42nd Annual Computer Software and Applications Conference : COMPSAC 2018. Institute of Electrical and Electronics Engineers, Inc., Vol. 1. p. 126-131 8377648. (Proceedings - International Computer Software and Applications Conference).

    Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

    Check@CityULib
  23. Published

    Message from SETA 2018 Symposium Chairs

    Chan, W. K. & Zhu, H., Jul 2018, Proceedings : 2018 IEEE 42nd Annual Computer Software and Applications Conference. IEEE Computer Society, Vol. 1. (Proceedings - International Computer Software and Applications Conference).

    Research output: Chapters, Conference Papers, Creative and Literary WorksForeword/preface/postscript

    Check@CityULib
Previous 1 2 3 4 5 6 7 8 ...11 Next