FortressCheck: automatic testing for generic properties

Seonghoon Kang, Sukyoung Ryu. FortressCheck: automatic testing for generic properties. In William C. Chu, W. Eric Wong, Mathew J. Palakal, Chih-Cheng Hung, editors, Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011. pages 1290-1296, ACM, 2011. [doi]

Authors

Seonghoon Kang

This author has not been identified. Look up 'Seonghoon Kang' in Google

Sukyoung Ryu

This author has not been identified. It may be one of the following persons: Look up 'Sukyoung Ryu' in Google