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]

Authors

Junjie Chen

This author has not been identified. Look up 'Junjie Chen' in Google

Yanwei Bai

This author has not been identified. Look up 'Yanwei Bai' in Google

Dan Hao

This author has not been identified. Look up 'Dan Hao' in Google

Lingming Zhang

This author has not been identified. Look up 'Lingming Zhang' in Google

Lu Zhang 0023

This author has not been identified. Look up 'Lu Zhang 0023' in Google

Bing Xie

This author has not been identified. Look up 'Bing Xie' in Google

Hong Mei

This author has not been identified. Look up 'Hong Mei' in Google