• Sign in
  • Sign up
conf.researchr.org / Muhammad Usman
  • ASE 2020 profile
  • ICSE 2021 profile
  • PLDI 2020 profile

Not registered as user yet

Name: Muhammad Usman

Affiliation: University of Texas at Austin, USA

Contributions

ASE 2020 Author of TestMC: Testing Model Counters using Differential and Metamorphic Testing within the Research Papers-track
PLDI 2020 Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the PLDI Research Papers-track
ICSE 2021 Author of NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks within the DEMO - Demonstrations-track

Share
xThu 25 Feb 04:31
using conf.researchr.org (v1.42.1)
Support page
Sign Up