Algorithm selection for software verification based on adversarial LSTM

Qiang Wang, Jiawei Jiang, Yongxin Zhao, Weipeng Cao, Chunjiang Wang, Shengdong Li. Algorithm selection for software verification based on adversarial LSTM. In 7th IEEE International Conference on Big Data Security on Cloud, IEEE International Conference on High Performance and Smart Computing, and IEEE International Conference on Intelligent Data and Security, BigDataSecurity/HPSC/IDS 2021, New York City, NY, USA, May 15-17, 2021. pages 87-92, IEEE, 2021. [doi]

Authors

Qiang Wang

This author has not been identified. Look up 'Qiang Wang' in Google

Jiawei Jiang

This author has not been identified. Look up 'Jiawei Jiang' in Google

Yongxin Zhao

This author has not been identified. Look up 'Yongxin Zhao' in Google

Weipeng Cao

This author has not been identified. Look up 'Weipeng Cao' in Google

Chunjiang Wang

This author has not been identified. Look up 'Chunjiang Wang' in Google

Shengdong Li

This author has not been identified. Look up 'Shengdong Li' in Google