Publications

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

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

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)

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

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)

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 Demo 2020)

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

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

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

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

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

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

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

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)