149 citations · 150 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024★ 1 cited
Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs
Shiyu Zhang, Haoyang Song, Qixin Wang +1
Reinforcement Learning (RL) has gained significant attention across various domains. However, the increasing complexity of RL programs presents testing challenges, particularly the…
cs.SE2014★ 149 cited
Automated Fixing of Programs with Contracts
Yu Pei, Carlo A. Furia, Martin Nordio +3
This paper describes AutoFix, an automatic debugging technique that can fix faults in general-purpose software. To provide high-quality fix suggestions and to enable automation of…