Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson. Extracting QuickCheck specifications from EUnit test cases. In Kenji Rikitake, Erik Stenman, editors, Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011. pages 62-71, ACM, 2011. [doi]
Abstract is missing.