Publications

  1. Wenxi Wang, Yang Hu, Kenneth McMillan, Sarfraz Khurshid
    SymMC: Approximate Model Enumeration and Counting Using Symmetry Information for Alloy Specifications
    21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2022) [code]

  2. Chengpeng Li, Chenguang Zhu, Wenxi Wang, August Shi
    Repairing Order-Dependent Flaky Tests via Test Generation
    44th International Conference on Software Engineering
    (ICSE 2022)

  3. Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen
    NeuroComb: Improving SAT Solving with Graph Neural Networks
    (arXiv Report submitted in October 2021)

  4. Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
    Initial Results on Counting Test Orders for Order-Dependent Flaky Tests using Alloy
    33rd IFIP International Conference on Testing Software and Systems
    (ICTSS 2021) (short paper)

  5. Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari
    ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities
    The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2021)

  6. Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
    AlloyMC: Alloy Meets Model Counting
    The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tool Demos
    (ESEC/FSE Tool Demo 2020)

  7. Muhammad Usman, Wenxi Wang, Sarfraz Khurshid
    TestMC: A Framework for Testing Model Counters
    IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2020)

  8. Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid
    A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
    ACM SIGPLAN Conference on Programming Language Design and Implementation
    (PLDI 2020)

  9. Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel and Sarfraz Khurshid
    A Study of Symmetry Breaking Predicates and Model Counting
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2020)

  10. Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini and Sarfraz Khurshid
    A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
    International SPIN Symposium on Model Checking of Software*
    (SPIN 2019)

  11. Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
    Incremental Analysis of Evolving Alloy Models
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems*
    (TACAS 2019)

  12. Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
    Learning to Optimize the Alloy Analyzer
    IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2019)

  13. Wenxi Wang, Harald Sondergaard, Peter J. Stuckey
    Wombit: A Portfolio Bit-Vector Solver using Word-Level Propagation
    Journal of Automated Reasoning
    (JAR 2018)

  14. Wenxi Wang, Harald Sondergaard, Peter J. Stuckey
    A Bit-Vector Solver with Word-Level Propagation
    Integration of AI and OR Techniques in Constraint Programming
    (CPAIOR 2016)