{"id":"https://openalex.org/W37631773","doi":"https://doi.org/10.3390/s23167237","title":"A test oracle based on formal specifications","display_name":"A test oracle based on formal specifications","publication_year":1985,"publication_date":"1985-12-01","ids":{"openalex":"https://openalex.org/W37631773","doi":"https://doi.org/10.3390/s23167237","mag":"37631773"},"language":"en","primary_location":{"id":"mag:37631773","is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=319486.319512","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors (Basel, Switzerland)","raw_type":null},"type":"article","indexed_in":[],"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/A5012577538","display_name":"J. D. Day","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"J. D. Day","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5085037005","display_name":"John D. Gannon","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John D. Gannon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012577538"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.789,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.68850073,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"23","issue":"16","first_page":"126","last_page":"130"},"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.9889000058174133,"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.9889000058174133,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9430999755859375,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9369999766349792,"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/test","display_name":"Test (biology)","score":0.5819087624549866},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5804507732391357},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4868592619895935},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3660646378993988}],"concepts":[{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5819087624549866},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5804507732391357},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4868592619895935},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3660646378993988},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:37631773","is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=319486.319512","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors (Basel, Switzerland)","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3018917282","https://openalex.org/W2110441383","https://openalex.org/W88080169","https://openalex.org/W3151542519","https://openalex.org/W2162661340","https://openalex.org/W2157888382","https://openalex.org/W2144395955","https://openalex.org/W2107751709","https://openalex.org/W2011990112","https://openalex.org/W927049346","https://openalex.org/W2133139240","https://openalex.org/W2367724128","https://openalex.org/W1582795712","https://openalex.org/W2139640569","https://openalex.org/W58180796","https://openalex.org/W126658542","https://openalex.org/W2108394166","https://openalex.org/W2100612373","https://openalex.org/W2129931199","https://openalex.org/W2532577336"],"abstract_inverted_index":{"The":[0],"basic":[1],"functions":[2],"of":[3,93],"an":[4,105,151],"autonomous":[5],"vehicle":[6,38,63],"typically":[7],"involve":[8],"navigating":[9],"from":[10],"one":[11,94],"point":[12],"to":[13,30,41,130,159],"another":[14],"in":[15,43,111,120,154],"the":[16,25,37,62,65,91,98,121,155],"world":[17],"by":[18,57,140],"following":[19,51,79],"a":[20,73,175],"reference":[21,124],"path":[22,29,50,78,108],"and":[23,60,80,110],"analyzing":[24],"traversability":[26],"along":[27],"this":[28,58,69],"avoid":[31],"potential":[32],"obstacles.":[33],"What":[34],"happens":[35],"when":[36,186],"is":[39,118,128,188],"subject":[40],"uncertainties":[42],"its":[44,47],"localization?":[45],"All":[46],"capabilities,":[48],"whether":[49],"or":[52,133],"obstacle":[53,81,115,144],"avoidance,":[54,116],"are":[55],"affected":[56,139],"uncertainty,":[59],"stopping":[61],"becomes":[64],"safest":[66],"solution.":[67],"In":[68],"work,":[70],"we":[71],"propose":[72],"framework":[74],"that":[75,90,167],"optimally":[76],"combines":[77],"avoidance":[82,145],"while":[83],"keeping":[84],"these":[85],"two":[86],"objectives":[87],"independent,":[88],"ensuring":[89],"limitations":[92],"do":[95],"not":[96,189],"affect":[97],"other.":[99],"Absolute":[100],"localization":[101,187],"uncertainty":[102,142],"only":[103],"has":[104],"impact":[106],"on":[107,150],"following,":[109],"no":[112],"way":[113],"affects":[114],"which":[117],"performed":[119],"robot's":[122],"local":[123],"frame.":[125],"Therefore,":[126],"it":[127,174],"possible":[129],"navigate":[131],"with":[132],"without":[134,137],"prior":[135],"information,":[136],"being":[138],"position":[141],"during":[143],"maneuvers.":[146],"We":[147],"conducted":[148],"tests":[149],"EZ10":[152],"shuttle":[153],"PAVIN":[156],"experimental":[157,164],"platform":[158],"validate":[160],"our":[161,168],"approach.":[162],"These":[163],"results":[165],"show":[166],"approach":[169],"achieves":[170],"satisfactory":[171],"performance,":[172],"making":[173],"promising":[176],"solution":[177],"for":[178,182],"collision-free":[179],"navigation":[180],"applications":[181],"mobile":[183],"robots":[184],"even":[185],"accurate.":[190]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2016-06-24T00:00:00"}