All Stories

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

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

  3. 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

  4. 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

  5. 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