PUBLICATIONS
Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz, Khurshid
AlloyMC: Alloy Meets Model Counting (To Appear)
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 (To Appear)
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).