Extracting QuickCheck specifications from EUnit test cases

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.