Extracting QuickCheck specifications from EUnit test cases - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Thomas Arts' in GoogleThis author has not been identified. Look up 'Pablo Lamela Seijas' in GoogleThis author has not been identified. Look up 'Simon J. Thompson' in Google

runs on WebDSL