{"id":"https://openalex.org/W2135195744","doi":"https://doi.org/10.1145/2034654.2034666","title":"Extracting QuickCheck specifications from EUnit test cases","display_name":"Extracting QuickCheck specifications from EUnit test cases","publication_year":2011,"publication_date":"2011-09-23","ids":{"openalex":"https://openalex.org/W2135195744","doi":"https://doi.org/10.1145/2034654.2034666","mag":"2135195744"},"language":"en","primary_location":{"id":"doi:10.1145/2034654.2034666","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2034654.2034666","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075791951","display_name":"Thomas Arts","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Arts","raw_affiliation_strings":["Chalmers / Quviq AB, Gothenburg, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers / Quviq AB, Gothenburg, United Kingdom","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038672557","display_name":"Pablo Lamela Seijas","orcid":"https://orcid.org/0000-0002-1730-1219"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pablo Lamela Seijas","raw_affiliation_strings":["Chalmers, Gothenburg, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers, Gothenburg, United Kingdom","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039766794","display_name":"Simon Thompson","orcid":"https://orcid.org/0000-0002-2350-301X"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simon Thompson","raw_affiliation_strings":["University of Kent, Canterbury, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Kent, Canterbury, United Kingdom","institution_ids":["https://openalex.org/I20581793"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4369,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.56560636,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"62","last_page":"71"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7700766324996948},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6491888761520386},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6466349959373474},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.6202651858329773},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.5761241912841797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5233801603317261},{"id":"https://openalex.org/keywords/test-set","display_name":"Test set","score":0.41057994961738586},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36135199666023254},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.233431875705719},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.17533954977989197}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7700766324996948},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6491888761520386},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6466349959373474},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.6202651858329773},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.5761241912841797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5233801603317261},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.41057994961738586},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36135199666023254},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.233431875705719},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.17533954977989197},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2034654.2034666","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2034654.2034666","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","raw_type":"proceedings-article"},{"id":"pmh:oai:kar.kent.ac.uk:30725","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2034654.2034666>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference proceeding"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.6800000071525574}],"awards":[{"id":"https://openalex.org/G7213497972","display_name":"Property-based Testing","funder_award_id":"215868","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1553352239","https://openalex.org/W1966283741","https://openalex.org/W2014309790","https://openalex.org/W2035578846","https://openalex.org/W2055183782","https://openalex.org/W2103806799","https://openalex.org/W2122059406","https://openalex.org/W2136656815","https://openalex.org/W2168658843","https://openalex.org/W3143245542","https://openalex.org/W6792413771"],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2002978035","https://openalex.org/W2961779879","https://openalex.org/W797688974","https://openalex.org/W4390788373"],"abstract_inverted_index":{"Writing":[0],"EUnit":[1,35],"tests":[2,36],"is":[3,37],"more":[4,16],"common":[5],"than":[6,18],"writing":[7,30],"QuickCheck":[8,11],"specifications,":[9],"although":[10],"specifications":[12],"potentially":[13],"explore":[14],"far":[15],"scenarios":[17],"manually":[19],"written":[20],"unit":[21],"tests.":[22],"In":[23],"particular":[24],"for":[25],"implementations":[26],"that":[27],"have":[28],"side-effects,":[29],"a":[31],"good":[32],"set":[33],"of":[34],"often":[38],"difficult":[39],"and":[40],"labour":[41],"intensive.":[42]},"counts_by_year":[{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}