{"id":"https://openalex.org/W3097591683","doi":"https://doi.org/10.22152/programming-journal.org/2021/5/9","title":"Using Relational Problems to Teach Property-Based Testing","display_name":"Using Relational Problems to Teach Property-Based Testing","publication_year":2020,"publication_date":"2020-10-30","ids":{"openalex":"https://openalex.org/W3097591683","doi":"https://doi.org/10.22152/programming-journal.org/2021/5/9","mag":"3097591683"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2021/5/9","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2021/5/9","pdf_url":"https://arxiv.org/pdf/2010.16305v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/2010.16305v1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014228001","display_name":"John Wrenn","orcid":"https://orcid.org/0000-0002-0588-8649"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Wrenn","raw_affiliation_strings":["Brown University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079753562","display_name":"Tim Nelson","orcid":"https://orcid.org/0000-0002-9377-9943"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tim Nelson","raw_affiliation_strings":["Brown University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024394821","display_name":"Shriram Krishnamurthi","orcid":"https://orcid.org/0000-0001-5184-1975"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shriram Krishnamurthi","raw_affiliation_strings":["Brown University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brown University, USA","institution_ids":["https://openalex.org/I175594653"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I175594653"],"apc_list":null,"apc_paid":null,"fwci":0.9867,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.82345071,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"5","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10533","display_name":"Teaching and Learning Programming","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9951000213623047,"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.9854999780654907,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6445026397705078},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5364300608634949},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1421414017677307},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.07089290022850037}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6445026397705078},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5364300608634949},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1421414017677307},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.07089290022850037}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.22152/programming-journal.org/2021/5/9","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2021/5/9","pdf_url":"https://arxiv.org/pdf/2010.16305v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2010.16305","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2010.16305","pdf_url":"https://arxiv.org/pdf/2010.16305","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2021/5/9","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2021/5/9","pdf_url":"https://arxiv.org/pdf/2010.16305v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3097591683.pdf","grobid_xml":"https://content.openalex.org/works/W3097591683.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W777621473","https://openalex.org/W1249296113","https://openalex.org/W1539432158","https://openalex.org/W1942197301","https://openalex.org/W1973938051","https://openalex.org/W2018377917","https://openalex.org/W2045380064","https://openalex.org/W2105357036","https://openalex.org/W2106192381","https://openalex.org/W2119717320","https://openalex.org/W2130427425","https://openalex.org/W2139553864","https://openalex.org/W2184826468","https://openalex.org/W2296348247","https://openalex.org/W2464784130","https://openalex.org/W2470712504","https://openalex.org/W2884432391","https://openalex.org/W2898460403","https://openalex.org/W2965029801","https://openalex.org/W2967869969","https://openalex.org/W4244488020","https://openalex.org/W4245822332","https://openalex.org/W4250846042","https://openalex.org/W4254354208","https://openalex.org/W4391285994"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829"],"abstract_inverted_index":{"The":[0],"success":[1],"of":[2,9],"QuickCheck":[3],"has":[4],"led":[5],"to":[6],"the":[7,18],"development":[8],"property-based":[10],"testing":[11],"(pbt)":[12],"libraries":[13],"for":[14],"many":[15],"languages":[16],"and":[17],"process":[19],"is":[20,29],"getting":[21],"increasing":[22],"attention.":[23],"However,":[24],"unlike":[25],"regular":[26],"testing,":[27],"pbt":[28],"not":[30],"widespread":[31],"in":[32],"collegiate":[33],"curricula.":[34]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}