@article{KaRy-SAC-2011,
author = {Seonghoon Kang and Sukyoung Ryu},
title = {FortressCheck: Automatic Testing for Generic Properties},
journal = {SAC 2011: The 26th Symposium on Applied Computing},
year = {2011}
}