• Sign in
  • Sign up
conf.researchr.org / Muhammad Malik
  • ECOOP and ISSTA 2023 profile
  • ICSE 2022 profile
  • ICST 2026 profile

Not registered as user

Name:Muhammad Malik
Affiliation:North Dakota State University

Contributions

2026

ICST

  • Author of LLM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software within the Short Papers, Vision and Emerging Results-track

2023

ISSTA

  • Committee Member in Artifact Evaluation within the Artifact Evaluation-track

2022

ICSE

  • Author of A Case for Microservices Orchestration Using Workflow Engines within the NIER - New Ideas and Emerging Results-track
Share
xSun 26 Apr 05:32
using conf.researchr.org (v1.73.2)
Support page
Sign Up