14 citations · 43 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.SE2026★ 1 cited
MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
Congying Xu, Hengcheng Zhu, Songqiang Chen +3
Metamorphic testing (MT) is a widely recognized technique for alleviating the oracle problem in software testing. However, its adoption is hindered by the difficulty of constructin…
cs.SE2026
Can Large Language Models Model Programs Formally?
Zhiyong Chen, Jialun Cao, Jiarong Wu +2
In the digital age, ensuring the correctness, safety, and reliability of software through formal verification is paramount, particularly as software increasingly underpins critical…