2 papers
cs.SE2025
MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
Jie Su, Liansai Deng, Cheng Wen +6
Currently, many verification algorithms are available to improve the reliability of software systems. Selecting the appropriate verification algorithm typically demands domain expe…
cs.SE2025
AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models
Hengrui Xing, Cong Tian, Liang Zhao +5
In recent years, the application of behavioral testing in Natural Language Processing (NLP) model evaluation has experienced a remarkable and substantial growth. However, the exist…