All Stories

  1. CARE: Cascading Impact-Aware Compliance Test Suite Evolution under Regulatory Changes

    Article • Proceedings of the ACM on Software Engineering, October 2026, ACM (Association for Computing Machinery)

    Min Zhang

  2. SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Junjie Sheng, Min Zhang

  3. LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing

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

    Min Zhang

  4. A temporal logic with multiple loosely-dependent clock domains.

    Article • Formal Aspects of Computing, June 2024, ACM (Association for Computing Machinery)

    Min Zhang, Frederic Mallet

  5. Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain

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

    Min Zhang

  6. MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search

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

    Min Zhang, Zhaohui Wang

  7. A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation

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

    Min Zhang

  8. Bridging the semantic gap between qualitative and quantitative models of distributed systems

    Article • Proceedings of the ACM on Programming Languages, October 2022, ACM (Association for Computing Machinery)

    Min Zhang

  9. Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks

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

    Min Zhang

  10. QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks

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

    Min Zhang

  11. Reducing implicit gender biases in software development: does intergroup contact theory work?

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

    Min Zhang

  12. Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

    Article • ACM SIGPLAN Notices, September 2017, ACM (Association for Computing Machinery)

    Min Zhang