1 paper
Danning Xie, Byungwoo Yoo, Nan Jiang +4
Software specifications are essential for many Software Engineering (SE) tasks such as bug detection and test generation. Many existing approaches are proposed to extract the speci…