Muhammad Usman

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 18

Top Topics

Malicious Attacks

Machine Learning

Abdominal Aortic Aneurysm

Top Venues

Int. J. Softw. Tools Technol. Transf.

SE4SafeML@SIGSOFT FSE

ICSE (Companion Volume)

Publications

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