A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. - Muhammad Usman 024; Wenxi Wang; Kaiyuan Wang; Cagdas Yelen; Nima Dini; Sarfraz Khurshid (SPIN, 2019)

A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning). - Muhammad Usman 024; Wenxi Wang; Kaiyuan Wang; Marko Vasic; Haris Vikalo; Sarfraz Khurshid (CoRR, 2019)

TestMC: Testing Model Counters using Differential and Metamorphic Testing. - Muhammad Usman 024; Wenxi Wang; Sarfraz Khurshid (ASE, 2020)

A study of the learnability of relational properties: model counting meets machine learning (MCML). - Muhammad Usman 024; Wenxi Wang; Marko Vasic; Kaiyuan Wang; Haris Vikalo; Sarfraz Khurshid (PLDI, 2020)

A Study of Symmetry Breaking Predicates and Model Counting. - Wenxi Wang; Muhammad Usman 024; Alyas Almaawi; Kaiyuan Wang; Kuldeep S. Meel; Sarfraz Khurshid (TACAS (1), 2020)

A study of learning likely data structure properties using machine learning models. - Muhammad Usman 024; Wenxi Wang; Kaiyuan Wang; Cagdas Yelen; Nima Dini; Sarfraz Khurshid (Int. J. Softw. Tools Technol. Transf., 2020)

NNrepair: Constraint-Based Repair of Neural Network Classifiers. - Muhammad Usman 024; Divya Gopinath; Youcheng Sun; Yannic Noller; Corina S. Pasareanu (CAV (1), 2021)

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. - Muhammad Usman 024; Yannic Noller; Corina S. Pasareanu; Youcheng Sun; Divya Gopinath (ICSE (Companion Volume), 2021)

QuantifyML: How Good is my Machine Learning Model? - Muhammad Usman 024; Divya Gopinath; Corina S. Pasareanu (FMAS, 2021)

VPN: Verification of Poisoning in Neural Networks. - Youcheng Sun; Muhammad Usman 024; Divya Gopinath; Corina S. Pasareanu (NSV/FoMLAS@CAV, 2022)

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. - Muhammad Usman 024; Divya Gopinath; Youcheng Sun; Corina S. Pasareanu (RV, 2022)

AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks. - Muhammad Usman 024; Youcheng Sun; Divya Gopinath; Corina S. Pasareanu (CoRR, 2022)

Rule-Based Testing of Neural Networks. - Muhammad Usman 024; Youcheng Sun; Divya Gopinath; Corina S. Pasareanu (SE4SafeML@SIGSOFT FSE, 2023)

An overview of structural coverage metrics for testing neural networks. - Muhammad Usman 024; Youcheng Sun; Divya Gopinath; Rishi Dange; Luca Manolache; Corina S. Pasareanu (Int. J. Softw. Tools Technol. Transf., 2023)

Prophecy: Inferring Formal Properties from Neuron Activations. - Divya Gopinath; Corina S. Pasareanu; Muhammad Usman 024 (CoRR, 2025)