Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning
Hao Yu,Ke Sun,Tao Xie