Mohammad Nurullah Patwary -

Registered user since Sun 8 Sep 2024

Name:Mohammad Nurullah Patwary

Contributions

2026

ASE

Author of Formula Completion Suggestions for Alloy Models with Selection Guidance within the Research Papers-track

ESEC/FSE

Author of Towards Output Directed Debugging of Finite Model Finders within the Ideas, Visions and Reflections-track

2025

FormaliSE

Author of Refining Alloy-Based Mutation Operators to Reflect Common Mistakes within the Research Track-track