2 papers
cs.SE2026
Alteron: A Tool for Behavioral Regression Testing Across NLP Classifier Versions
Shazzad Hossain, Proma Chowdhury, Mridha Md. Nafis Fuad
Evaluating evolving Natural Language Processing (NLP) models is important for ensuring reliable behavior across updates, but standard benchmark metrics do not fully capture how mod…
cs.SE2025
Towards Bridging Formal Methods and Human Interpretability
Abhijit Paul, Proma Chowdhury, Kazi Sakib
Labeled Transition Systems (LTS) are integral to model checking and design repair tools. System engineers frequently examine LTS designs during model checking or design repair to d…