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