Muhammad Usman

According to our database1, Muhammad Usman authored at least 8 papers between 2019 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
NNrepair: Constraint-based Repair of Neural Network Classifiers.
CoRR, 2021

NEUROSPF: A tool for the Symbolic Analysis of Neural Networks.
CoRR, 2021

2020
A study of learning likely data structure properties using machine learning models.
Int. J. Softw. Tools Technol. Transf., 2020

A Study of Symmetry Breaking Predicates and Model Counting.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

A study of the learnability of relational properties: model counting meets machine learning (MCML).
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

TestMC: Testing Model Counters using Differential and Metamorphic Testing.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning).
CoRR, 2019

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.
Proceedings of the Model Checking Software - 26th International Symposium, 2019


  Loading...