Skip to main content

Extracting QuickCheck Specifications from EUnit Test Cases

Arts, Thomas, Lamela Seijas, Pablo, Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Rikitake, Kenji and Stenman, Erik, eds. Erlang Workshop 2011. . pp. 182-196. ACM Press (doi:10.1145/2034654.2034666) (KAR id:30725)

Item Type: Conference or workshop item (UNSPECIFIED)
DOI/Identification number: 10.1145/2034654.2034666
Uncontrolled keywords: determinacy analysis, Craig interpolants
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: S. Thompson
Date Deposited: 21 Sep 2012 09:49 UTC
Last Modified: 09 Mar 2023 11:32 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/30725 (The current URI for this page, for reference purposes)

University of Kent Author Information

Lamela Seijas, Pablo.

Creator's ORCID:
CReDIT Contributor Roles:

Thompson, Simon.

Creator's ORCID: https://orcid.org/0000-0002-2350-301X
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.