Supporting oracle construction via static analysis

Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang 0023, Bing Xie, Hong Mei. Supporting oracle construction via static analysis. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 178-189, ACM, 2016. [doi]

Abstract

Abstract is missing.