AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Wenxi Wang

Wenxi Wang

University of Texas Austin - Austin / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 5207683
University of Texas at Austin
person_outline Wenxi Wang's MOST POPULAR ARTICLES
1-) Repairing order-dependent flaky tests via test generation Proceedings of the 44th International Conference on Software Engineering …, 2022
2-) NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks arXiv preprint arXiv:2110.14053, 2021
3-) A study of symmetry breaking predicates and model counting International Conference on Tools and Algorithms for the Construction and …, 2020
4-) Cadiback: Extracting backbones with cadical 26th International Conference on Theory and Applications of Satisfiability …, 2023
5-) TestMC: testing model counters using differential and metamorphic testing Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020