{"id":"https://openalex.org/W2100894754","doi":"https://doi.org/10.1002/spe.4380140506","title":"The \u2018Completeness\u2019 of the pascal test suite","display_name":"The \u2018Completeness\u2019 of the pascal test suite","publication_year":1984,"publication_date":"1984-05-01","ids":{"openalex":"https://openalex.org/W2100894754","doi":"https://doi.org/10.1002/spe.4380140506","mag":"2100894754"},"language":"en","primary_location":{"id":"doi:10.1002/spe.4380140506","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380140506","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},"type":"article","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/A5025819421","display_name":"Zbigniew Ciechanowicz","orcid":null},"institutions":[{"id":"https://openalex.org/I134421475","display_name":"National Physical Laboratory","ror":"https://ror.org/015w2mp89","country_code":"GB","type":"facility","lineage":["https://openalex.org/I134421475"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Z. J. Ciechanowicz","raw_affiliation_strings":["National Physical Laboratory, Queens Road, Teddington, Middlesex TW11 OLW, U.K"],"affiliations":[{"raw_affiliation_string":"National Physical Laboratory, Queens Road, Teddington, Middlesex TW11 OLW, U.K","institution_ids":["https://openalex.org/I134421475"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007095880","display_name":"A. C. De Weever","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A. C. De Weever","raw_affiliation_strings":["Instituut voor Hoger Beroepsonderwijs \u2018de Maere\u2019 7500 BB Enschede, Postbus 1075, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Instituut voor Hoger Beroepsonderwijs \u2018de Maere\u2019 7500 BB Enschede, Postbus 1075, The Netherlands","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5025819421"],"corresponding_institution_ids":["https://openalex.org/I134421475"],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":0.599,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73121985,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"5","first_page":"463","last_page":"471"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9660999774932861,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9660999774932861,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9372000098228455,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.883241593837738},{"id":"https://openalex.org/keywords/pascal","display_name":"Pascal (unit)","score":0.8777977228164673},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.7673283815383911},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7436153292655945},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6417304873466492},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5987118482589722},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3982873558998108},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.19025975465774536}],"concepts":[{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.883241593837738},{"id":"https://openalex.org/C75608658","wikidata":"https://www.wikidata.org/wiki/Q44395","display_name":"Pascal (unit)","level":2,"score":0.8777977228164673},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.7673283815383911},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7436153292655945},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6417304873466492},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5987118482589722},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3982873558998108},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.19025975465774536},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/spe.4380140506","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380140506","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W21074544","https://openalex.org/W1552851008","https://openalex.org/W2052833208","https://openalex.org/W2085774719"],"related_works":["https://openalex.org/W1485837041","https://openalex.org/W2103136046","https://openalex.org/W2022120297","https://openalex.org/W1713081424","https://openalex.org/W2132806979","https://openalex.org/W2127315869","https://openalex.org/W2219831693","https://openalex.org/W1523769955","https://openalex.org/W1967067605","https://openalex.org/W2245390655"],"abstract_inverted_index":{"Abstract":[0],"The":[1,36,116],"British":[2],"Standards":[3],"Institution":[4],"aided":[5],"by":[6,56,89,121,150],"the":[7,15,27,30,42,59,68,71,84,90,98,101,114,123,132,151,182,185],"National":[8],"Physical":[9],"Laboratory":[10],"(NPL)":[11],"are":[12,155],"setting":[13],"up":[14],"framework":[16],"for":[17,33,175],"a":[18,48,127,168,176],"national":[19],"service":[20,40],"which":[21,63,170],"will":[22],"validate":[23],"Pascal":[24,43,134,177],"compilers":[25],"against":[26],"requirements":[28],"of":[29,38,51,61,83,100,130,143,164,184],"ISO":[31],"Standard":[32,133],"Pascal.":[34],"1":[35],"basis":[37],"this":[39,144,165,179],"is":[41,106,118,167],"Compiler":[44],"Validation":[45],"Suite,":[46],"2":[47],"large":[49],"collection":[50],"test":[52],"programs":[53],"(produced":[54],"jointly":[55],"NPL":[57],"and":[58,79],"University":[60],"Tasmania)":[62],"were":[64],"derived":[65],"directly":[66],"from":[67],"Standard,":[69],"Naturally,":[70],"Suite":[72,125],"must":[73],"be":[74,87],"as":[75,77],"searching":[76],"possible,":[78],"Ideally":[80],"all":[81],"features":[82],"language":[85],"should":[86],"exercised":[88,149],"Suite.":[91,152],"This":[92],"paper":[93,180],"describes":[94,181],"an":[95,172],"investigation":[96,117],"into":[97],"\u2018completeness\u2019":[99,105],"Suite;":[102],"note":[103],"that":[104],"not":[107,147],"used":[108],"in":[109],"any":[110,141],"formal":[111],"sense":[112],"throughout":[113],"paper.":[115],"carried":[119],"out":[120],"passing":[122],"entire":[124],"through":[126],"model":[128],"implementation":[129,145],"Pascal,":[131],"Static":[135],"Checker,":[136],"3":[137],"to":[138,158],"determine":[139],"whether":[140],"parts":[142],"do":[146],"get":[148],"Further":[153],"tests":[154],"then":[156],"written":[157],"exercise":[159],"these":[160],"parts.":[161],"A":[162],"by\u2010product":[163],"work":[166],"tool":[169],"produces":[171],"execution":[173],"profile":[174],"program;":[178],"function":[183],"tool.":[186]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}