Muhammad Usman

19 papers A* 2B 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Prophecy: Inferring Formal Properties from Neuron Activations.
CoRR
Divya Gopinath, Corina S. Pasareanu, Muhammad Usman
2023 J jnl
An overview of structural coverage metrics for testing neural networks.
Int. J. Softw. Tools Technol. Transf.
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
2023 — conf
Rule-Based Testing of Neural Networks.
SE4SafeML@SIGSOFT FSE
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
2022 J jnl
An Overview of Structural Coverage Metrics for Testing Neural Networks.
CoRR
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
2022 J jnl
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks.
CoRR
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
2022 B conf
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks.
RV
Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu
2022 — conf
VPN: Verification of Poisoning in Neural Networks.
NSV/FoMLAS@CAV
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2022 J jnl
VPN: Verification of Poisoning in Neural Networks.
CoRR
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2021 — conf
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.
ICSE (Companion Volume)
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
2021 J jnl
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks.
CoRR
Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
2021 — conf
NNrepair: Constraint-Based Repair of Neural Network Classifiers.
CAV (1)
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
2021 J jnl
NNrepair: Constraint-based Repair of Neural Network Classifiers.
CoRR
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
2021 — conf
QuantifyML: How Good is my Machine Learning Model?
FMAS
Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2020 — conf
A Study of Symmetry Breaking Predicates and Model Counting.
TACAS (1)
Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid
2020 J jnl
A study of learning likely data structure properties using machine learning models.
Int. J. Softw. Tools Technol. Transf.
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
2020 A* conf
A study of the learnability of relational properties: model counting meets machine learning (MCML).
PLDI
Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid
2020 A* conf
TestMC: Testing Model Counters using Differential and Metamorphic Testing.
ASE
Muhammad Usman, Wenxi Wang, Sarfraz Khurshid
2019 — conf
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.
SPIN
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
2019 J jnl
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning).
CoRR
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid