A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Extracting QuickCheck specifications from EUnit test cases
2011
Proceedings of the 10th ACM SIGPLAN workshop on Erlang - Erlang '11
Writing EUnit tests is more common than writing QuickCheck specifications, although QuickCheck specifications potentially explore far more scenarios than manually written unit tests. In particular for implementations that have side-effects, writing a good set of EUnit tests is often difficult and labour intensive. In this paper we report on mechanisms to extract QuickCheck specifications from EUnit test suites. We use the QSM algorithm to infer state machines from sets of positive and negative
doi:10.1145/2034654.2034666
dblp:conf/erlang/ArtsST11
fatcat:m72tntvpibgwfeds757j27rd7e