{"id":"https://openalex.org/W2054962406","doi":"https://doi.org/10.1016/s0167-9236(97)00047-x","title":"A survey of tools for the validation and verification of knowledge-based systems: 1985\u20131995","display_name":"A survey of tools for the validation and verification of knowledge-based systems: 1985\u20131995","publication_year":1997,"publication_date":"1997-12-01","ids":{"openalex":"https://openalex.org/W2054962406","doi":"https://doi.org/10.1016/s0167-9236(97)00047-x","mag":"2054962406"},"language":"en","primary_location":{"id":"doi:10.1016/s0167-9236(97)00047-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0167-9236(97)00047-x","pdf_url":null,"source":{"id":"https://openalex.org/S11479521","display_name":"Decision Support Systems","issn_l":"0167-9236","issn":["0167-9236","1873-5797"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Decision Support Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/s0167-9236(97)00047-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111898395","display_name":"Stephen Murrell","orcid":null},"institutions":[{"id":"https://openalex.org/I145608581","display_name":"University of Miami","ror":"https://ror.org/02dgjyy92","country_code":"US","type":"education","lineage":["https://openalex.org/I145608581"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Murrell","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Miami, Coral Gables, FL 33124, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Miami, Coral Gables, FL 33124, USA","institution_ids":["https://openalex.org/I145608581"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108434910","display_name":"Robert T. Plant","orcid":null},"institutions":[{"id":"https://openalex.org/I145608581","display_name":"University of Miami","ror":"https://ror.org/02dgjyy92","country_code":"US","type":"education","lineage":["https://openalex.org/I145608581"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Robert T. Plant","raw_affiliation_strings":["Department of Computer Information Systems, University of Miami, Coral Gables, FL 33124, USA","Department of Computer Information Systems University of Miami Coral Gables, FL 33124 USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Information Systems, University of Miami, Coral Gables, FL 33124, USA","institution_ids":["https://openalex.org/I145608581"]},{"raw_affiliation_string":"Department of Computer Information Systems University of Miami Coral Gables, FL 33124 USA","institution_ids":["https://openalex.org/I145608581"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5108434910"],"corresponding_institution_ids":["https://openalex.org/I145608581"],"apc_list":{"value":3280,"currency":"USD","value_usd":3280},"apc_paid":{"value":3280,"currency":"USD","value_usd":3280},"fwci":5.08082027,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.94281729,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"21","issue":"4","first_page":"307","last_page":"323"},"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.9997000098228455,"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.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"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/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.623579740524292},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4604746401309967},{"id":"https://openalex.org/keywords/survey-research","display_name":"Survey research","score":0.4557799994945526},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.41226786375045776},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.33999818563461304},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21780931949615479},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.09482663869857788},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.07548710703849792}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.623579740524292},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4604746401309967},{"id":"https://openalex.org/C173481278","wikidata":"https://www.wikidata.org/wiki/Q7257997","display_name":"Survey research","level":2,"score":0.4557799994945526},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.41226786375045776},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.33999818563461304},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21780931949615479},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.09482663869857788},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.07548710703849792},{"id":"https://openalex.org/C75630572","wikidata":"https://www.wikidata.org/wiki/Q538904","display_name":"Applied psychology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0167-9236(97)00047-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0167-9236(97)00047-x","pdf_url":null,"source":{"id":"https://openalex.org/S11479521","display_name":"Decision Support Systems","issn_l":"0167-9236","issn":["0167-9236","1873-5797"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Decision Support Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s0167-9236(97)00047-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0167-9236(97)00047-x","pdf_url":null,"source":{"id":"https://openalex.org/S11479521","display_name":"Decision Support Systems","issn_l":"0167-9236","issn":["0167-9236","1873-5797"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Decision Support Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W85300993","https://openalex.org/W102485042","https://openalex.org/W190035785","https://openalex.org/W767017929","https://openalex.org/W792801755","https://openalex.org/W1044670732","https://openalex.org/W1577316669","https://openalex.org/W1584929898","https://openalex.org/W1813654486","https://openalex.org/W1948802341","https://openalex.org/W1968550033","https://openalex.org/W1970495662","https://openalex.org/W1973414967","https://openalex.org/W1973475242","https://openalex.org/W1980200915","https://openalex.org/W1992639336","https://openalex.org/W2001683075","https://openalex.org/W2006849174","https://openalex.org/W2020775305","https://openalex.org/W2023730632","https://openalex.org/W2055674871","https://openalex.org/W2079680418","https://openalex.org/W2087772092","https://openalex.org/W2099529102","https://openalex.org/W2101512909","https://openalex.org/W2117094273","https://openalex.org/W2117834984","https://openalex.org/W2117963349","https://openalex.org/W2126259958","https://openalex.org/W2128374741","https://openalex.org/W2137865376","https://openalex.org/W2145287593","https://openalex.org/W2150014099","https://openalex.org/W2156167132","https://openalex.org/W2157491566","https://openalex.org/W2168468191","https://openalex.org/W2171816001","https://openalex.org/W2171955286","https://openalex.org/W2176959931","https://openalex.org/W2273084664","https://openalex.org/W2579751000","https://openalex.org/W2987880052","https://openalex.org/W3010856131","https://openalex.org/W4214935338","https://openalex.org/W4231791389","https://openalex.org/W4285719527","https://openalex.org/W6600721425","https://openalex.org/W6621089155","https://openalex.org/W6655632461"],"related_works":["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/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W3027371154"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"the":[3,15,30],"findings":[4],"of":[5,8,19],"a":[6,44],"survey":[7,45,62],"software":[9],"tools":[10,23],"built":[11],"to":[12,40,67],"assist":[13],"in":[14,70],"verification":[16],"and":[17,38,42,50,55,75],"validation":[18],"knowledge-based":[20],"systems.":[21],"The":[22,33],"were":[24,36,53],"identified":[25,47],"from":[26,29],"literature":[27],"sources":[28],"period":[31],"1985\u20131995.":[32],"tool":[34,71],"builders":[35],"contacted":[37],"asked":[39],"complete":[41],"return":[43],"that":[46],"which":[48],"testing":[49],"analysis":[51],"techniques":[52],"utilised":[54],"covered":[56],"by":[57],"their":[58],"tool.":[59],"From":[60],"these":[61],"results":[63],"it":[64],"is":[65],"possible":[66],"identify":[68],"trends":[69],"development,":[72],"technique":[73],"coverage":[74],"areas":[76],"for":[77],"future":[78],"research.":[79]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}