© University of Kent - Contact | Feedback | Legal | Cookies
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Extracting QuickCheck Specifications from EUnit Test Cases
Thomas Arts, Pablo Lamela Seijas, and Simon Thompson
In Kenji Rikitake and Erik Stenman, editors, Erlang Workshop 2011. ACM Press, September 2011.Bibtex Record
@inproceedings{3186,
author = {Thomas Arts and Pablo Lamela Seijas and Simon Thompson},
title = {{Extracting QuickCheck Specifications from EUnit Test Cases}},
month = {September},
year = {2011},
pages = {},
keywords = {QuickCheck, EUnit, FSM, testing, property-based testing, inference},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3186},
publication_type = {inproceedings},
submission_id = {8814_1322148460},
booktitle = {Erlang Workshop 2011},
editor = {Kenji Rikitake and Erik Stenman},
publisher = {ACM Press},
refereed = {yes},
}