© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Testing Erlang Refactorings with QuickCheck
Huiqing Li and Simon Thompson
In Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, pages 182-196, Freiburg, Germany, September 2007.Bibtex Record
@inproceedings{2607,
author = {{{Huiqing Li and Simon Thompson}}},
title = {{{Testing Erlang Refactorings with QuickCheck}}},
month = {September},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2607},
publication_type = {inproceedings},
submission_id = {11625_1189082552},
booktitle = {Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007},
address = {Freiburg, Germany},
}