All Stories

  1. Risky Dynamic Typing Related Practices in Python: An Empirical Study

    Article • ACM Transactions on Software Engineering and Methodology, February 2024, ACM (Association for Computing Machinery)

    Dr. Song Wei Song

  2. PermDroid: automatically testing permission-related behaviour of Android applications

    Article • July 2022, ACM (Association for Computing Machinery)

    Dr. Song Wei Song

  3. UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities

    Article • July 2021, ACM (Association for Computing Machinery)

    Dr. Song Wei Song

  4. IMGDroid: Detecting Image Loading Defects in Android Applications

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Song Wei Song

  5. IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Song Wei Song

  6. Towards programming and verification for activity-oriented smart home systems

    Article • December 2020, ACM (Association for Computing Machinery)

    Dr. Song Wei Song

  7. ServDroid: detecting service usage inefficiencies in Android applications

    Article • August 2019, ACM (Association for Computing Machinery)

    Dr. Song Wei Song

  8. EFFECTIVE TEST CASES FOR SERVICE-ORIENTED WORKFLOW APPLICATIONS

    Article • Software Testing Verification and Reliability, September 2015, Wiley

    Dr. Song Wei Song

  9. FuAET: a tool for developing fuzzy self-adaptive software systems

    Article • November 2014, ACM (Association for Computing Machinery)

    Dr. Song Wei Song