{"id":"https://openalex.org/W2407768328","doi":null,"title":"Active World Model for Testing Autonomous Systems Using CEFSM.","display_name":"Active World Model for Testing Autonomous Systems Using CEFSM.","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2407768328","mag":"2407768328"},"language":"en","primary_location":{"id":"mag:2407768328","doi":null,"is_oa":false,"landing_page_url":"http://ceur-ws.org/Vol-1514/paper1.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"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/A5110129097","display_name":"Anneliese K. Amschler Andrews","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I131651094","display_name":"University of Denver","ror":"https://ror.org/04w7skc03","country_code":"US","type":"education","lineage":["https://openalex.org/I131651094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anneliese Andrews","raw_affiliation_strings":["University of Denver;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Denver;","institution_ids":["https://openalex.org/I131651094"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065621092","display_name":"Mahmoud Abdelgawad","orcid":"https://orcid.org/0000-0002-9407-6342","observed_orcids":["https://orcid.org/0000-0002-9407-6342"]},"institutions":[{"id":"https://openalex.org/I131651094","display_name":"University of Denver","ror":"https://ror.org/04w7skc03","country_code":"US","type":"education","lineage":["https://openalex.org/I131651094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahmoud Abdelgawad","raw_affiliation_strings":["University of Denver;"],"raw_orcid":"https://orcid.org/0000-0002-9407-6342","affiliations":[{"raw_affiliation_string":"University of Denver;","institution_ids":["https://openalex.org/I131651094"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038358363","display_name":"Ahmed Gario","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I131651094","display_name":"University of Denver","ror":"https://ror.org/04w7skc03","country_code":"US","type":"education","lineage":["https://openalex.org/I131651094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ahmed Gario","raw_affiliation_strings":["University of Denver;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Denver;","institution_ids":["https://openalex.org/I131651094"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I131651094"],"apc_list":null,"apc_paid":null,"fwci":2.8545,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.90229531,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"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.9984999895095825,"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.9984999895095825,"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/T10142","display_name":"Formal Methods in Verification","score":0.000699999975040555,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":9.999999747378752e-05,"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/model-based-test-generation","display_name":"model-based test generation","score":0.847000002861023},{"id":"https://openalex.org/keywords/autonomous-systems","display_name":"autonomous systems","score":0.8679999709129333},{"id":"https://openalex.org/keywords/dynamic-environment-modeling","display_name":"dynamic environment modeling","score":0.5860000252723694},{"id":"https://openalex.org/keywords/input-space-partitioning","display_name":"input space partitioning","score":0.9850000143051147},{"id":"https://openalex.org/keywords/human-robot-interaction","display_name":"human-robot interaction","score":0.7940000295639038},{"id":"https://openalex.org/keywords/tour-guide-robot","display_name":"tour guide robot","score":0.9549999833106995},{"id":"https://openalex.org/keywords/reachability-analysis","display_name":"reachability analysis","score":0.7179999947547913},{"id":"https://openalex.org/keywords/coverage-efficiency","display_name":"coverage efficiency","score":0.5640000104904175}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7559242248535156},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6767479777336121},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6394610404968262},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.6106144785881042},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5369678735733032},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5199212431907654},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5074998736381531},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4840499758720398},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4577040672302246},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.40210914611816406},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2550123333930969},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11999589204788208},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11732921004295349},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"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":1,"locations":[{"id":"mag:2407768328","doi":null,"is_oa":false,"landing_page_url":"http://ceur-ws.org/Vol-1514/paper1.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1486172410","https://openalex.org/W1539282749","https://openalex.org/W1557270615","https://openalex.org/W1594775721","https://openalex.org/W1972375918","https://openalex.org/W1979426194","https://openalex.org/W1979628236","https://openalex.org/W1984197365","https://openalex.org/W1989225370","https://openalex.org/W2007896761","https://openalex.org/W2025970201","https://openalex.org/W2041668232","https://openalex.org/W2048388665","https://openalex.org/W2051783870","https://openalex.org/W2061309618","https://openalex.org/W2066672703","https://openalex.org/W2074130341","https://openalex.org/W2089438650","https://openalex.org/W2092344062","https://openalex.org/W2096178388","https://openalex.org/W2097544529","https://openalex.org/W2104869259","https://openalex.org/W2108703536","https://openalex.org/W2119296494","https://openalex.org/W2119801502","https://openalex.org/W2121947785","https://openalex.org/W2122425752","https://openalex.org/W2126818664","https://openalex.org/W2128475506","https://openalex.org/W2130422196","https://openalex.org/W2142741365","https://openalex.org/W2153738822","https://openalex.org/W2154053162","https://openalex.org/W2157536205","https://openalex.org/W2169033759","https://openalex.org/W2189066119","https://openalex.org/W2320062858","https://openalex.org/W2484134798","https://openalex.org/W2810491896"],"related_works":["https://openalex.org/W2011489101","https://openalex.org/W2296753098","https://openalex.org/W2344736091","https://openalex.org/W1557270615","https://openalex.org/W7172396517","https://openalex.org/W6991141606","https://openalex.org/W7221306957","https://openalex.org/W3037381445","https://openalex.org/W7152470744","https://openalex.org/W4245573853"],"abstract_inverted_index":{"This":[0],"paper":[1],"describes":[2,52],"a":[3,23,34,104,114],"model-based":[4],"test":[5,33,92],"generation":[6],"approach":[7],"for":[8],"testing":[9],"autonomous":[10],"systems":[11],"interacting":[12],"with":[13,26],"their":[14],"environment":[15],"(i.e.,":[16,57],"world).":[17],"Unlike":[18],"other":[19],"approaches":[20],"that":[21,51],"assume":[22],"static":[24],"world":[25,49,72,121],"attributes":[27],"and":[28,32,123],"values,":[29],"we":[30],"present":[31],"dynamic":[35],"world.":[36],"We":[37,78,94],"use":[38],"Communicating":[39],"Extended":[40],"Finite":[41],"State":[42],"Machine":[43],"(CEFSM)":[44],"to":[45,85,103],"illustrate":[46],"an":[47],"active":[48,71,120],"model":[50,73,122],"behaviors":[53],"of":[54,118,125],"environmental":[55],"factors":[56],"actors).":[58],"Abstract":[59],"World":[60,97],"Behavioral":[61],"Test":[62,99],"Cases":[63],"(AWBTCs)":[64],"are":[65,128],"then":[66],"generated":[67,88],"by":[68,82],"covering":[69],"the":[70,87,96,108,119],"using":[74],"graph":[75],"coverage":[76,126],"criteria.":[77],"also":[79,129],"generate":[80],"test-data":[81],"input-space":[83],"partitioning":[84],"transform":[86],"AWBTCs":[89],"into":[90],"executable":[91],"cases.":[93],"apply":[95],"Model-based":[98],"Generation":[100],"(WMBTG)":[101],"technique":[102],"case":[105],"study":[106],"from":[107],"Human-Robot":[109],"Interaction":[110],"domain":[111],"(HRI)":[112],"specifically":[113],"tour-guide":[115],"robot.":[116],"Reachability":[117],"efficiency":[124],"criteria":[127],"discussed.":[130]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}