All Stories

  1. Boosting Metamorphic Testing: A General Metamorphic Specification Language and A Supporting System

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

    Dr Chang-ai Sun

  2. Metamorphic Relation Generation: State of the Art and Research Directions

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

    Prof Dave Towey, Dr Chang-ai Sun

  3. Metamorphic Testing of Image Processing Applications: A General Framework and Optimization Strategies

    Article • September 2024, ACM (Association for Computing Machinery)

    Dr Chang-ai Sun

  4. Assessing effectiveness of test suites: what do we know and what should we do?

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

    Lin Chen, Dr Chang-ai Sun

  5. An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs

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

    Dr Chang-ai Sun, Hepeng Dai

  6. Improving Conformance of Web Services: A Constraint-based Model-driven Approach

    Article • ACM Transactions on the Web, January 2023, ACM (Association for Computing Machinery)

    Dr Chang-ai Sun

  7. Feedback-Directed Metamorphic Testing

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

    Dr Chang-ai Sun, Hepeng Dai

  8. A transformation-based approach to testing concurrent programs using UML activity diagrams

    Article • Software Practice and Experience, April 2015, Wiley

    Prof Dave Towey, Dr Chang-ai Sun