Enhancement and evaluation in path accuracy of industrial robot for complex surface grinding J Li, L Zou, G Luo, W Wang, C Lv Robotics and Computer-Integrated Manufacturing 81, 102521, 2023 | 26 | 2023 |
Bionic microstructure on titanium alloy blade with belt grinding and its drag reduction performance G Xiao, Y He, Y Huang, S He, W Wang, Y Wu Proceedings of the Institution of Mechanical Engineers, Part B: Journal of …, 2021 | 22 | 2021 |
Repairing order-dependent flaky tests via test generation C Li, C Zhu, W Wang, A Shi Proceedings of the 44th International Conference on Software Engineering …, 2022 | 21 | 2022 |
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks W Wang, Y Hu, M Tiwari, S Khurshid, K McMillan, R Miikkulainen arXiv preprint arXiv:2110.14053, 2021 | 18 | 2021 |
A study of symmetry breaking predicates and model counting W Wang, M Usman, A Almaawi, K Wang, KS Meel, S Khurshid Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 15 | 2020 |
TestMC: testing model counters using differential and metamorphic testing M Usman, W Wang, S Khurshid Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 13 | 2020 |
A bit-vector solver with word-level propagation W Wang, H Søndergaard, PJ Stuckey Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016 | 12 | 2016 |
Learning to optimize the alloy analyzer W Wang, K Wang, M Zhang, S Khurshid 2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019 | 11 | 2019 |
Incremental analysis of evolving alloy models W Wang, K Wang, M Gligoric, S Khurshid Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 11 | 2019 |
Cadiback: Extracting backbones with cadical A Biere, N Froleyks, W Wang 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 10 | 2023 |
Investigation on abrasive wear of electroplated diamond belt in grinding nickel-based superalloys H Li, L Zou, Z Li, W Wang, Y Huang The International Journal of Advanced Manufacturing Technology 121 (7), 4419 …, 2022 | 10 | 2022 |
A study of learning data structure invariants using off-the-shelf tools M Usman, W Wang, K Wang, C Yelen, N Dini, S Khurshid Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | 10 | 2019 |
Study on subsurface damage and recrystallization of single crystal superalloy in scratching with single diamond grain C Han, M Zhou, L Zou, J Dong, M Gong, Y Li, W Wang Journal of Manufacturing Processes 81, 301-310, 2022 | 5 | 2022 |
Belt grinding mechanism-based method for roughness profile prediction of the rail surface W Wang, J Li, W Fan, C Zhao Journal of the Brazilian Society of Mechanical Sciences and Engineering 44 …, 2022 | 5 | 2022 |
ACHyb: A hybrid analysis approach to detect kernel access control vulnerabilities Y Hu, W Wang, C Hunger, R Wood, S Khurshid, M Tiwari Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 5 | 2021 |
A study of the learnability of relational properties: model counting meets machine learning (mcml) M Usman, W Wang, M Vasic, K Wang, H Vikalo, S Khurshid Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 5 | 2020 |
Wombit: A portfolio bit-vector solver using word-level propagation W Wang, H Søndergaard, PJ Stuckey Journal of Automated Reasoning 63, 723-762, 2019 | 5 | 2019 |
Study on nickel-based single crystal superalloy DD6 subsurface damage of belt grinding with a large cutting depth of one pass C Han, M Zhou, L Zou, L Luo, H Li, W Wang Engineering Failure Analysis 161, 108256, 2024 | 4 | 2024 |
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks Y Hu, W Wang, S Khurshid, KL McMillan, M Tiwari 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 4 | 2023 |
A novel regional force control strategy based on seven-axis linkage grinding system to improve blade machining accuracy Y Mu, Z Wang, L Zou, W Wang, C Lv, A Wang Journal of Manufacturing Processes 97, 235-247, 2023 | 4 | 2023 |