NADA: Neural Acceptance-Driven Approximate Specification Mining

Open Webpage

Weilin Luo, Tingchen Han, Junming Qiu, Hai Wan, Jianfeng Du, Bo Peng, Guohui Xiao, Yanan Liu

Published: 2025, Last Modified: 06 Jan 2026Proc. ACM Softw. Eng. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0