Publications

1. Armin Biere, Nils Froleyks, Wenxi Wang
   CadiBack: Extracting Backbones with CaDiCaL
   The 26th International Conference on Theory and Applications of Satisfiability Testing (to appear)
   (SAT 2023) (Tool paper)

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

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

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

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

6. 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)

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

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

9. 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)

10. 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)

11. 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)

12. 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)

13. 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)

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

15. 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)