© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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, pages 182-196. 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 = {182-196},
keywords = {determinacy analysis, Craig interpolants},
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},
}