{"id":"https://openalex.org/W2054293825","doi":"https://doi.org/10.1145/2532443.2532465","title":"Simulating software behavior based on UML activity diagram","display_name":"Simulating software behavior based on UML activity diagram","publication_year":2013,"publication_date":"2013-10-23","ids":{"openalex":"https://openalex.org/W2054293825","doi":"https://doi.org/10.1145/2532443.2532465","mag":"2054293825"},"language":"en","primary_location":{"id":"doi:10.1145/2532443.2532465","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2532443.2532465","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Asia-Pacific Symposium on Internetware","raw_type":"proceedings-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/A5100374646","display_name":"Lei Yu","orcid":"https://orcid.org/0000-0003-1093-9188"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lei Yu","raw_affiliation_strings":["Nanjing University, Nanjing, P.R. China","Nanjing University, NanJing, P. R. China#TAB#"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Nanjing University, NanJing, P. R. China#TAB#","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059434721","display_name":"Xiucun Tang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiucun Tang","raw_affiliation_strings":["Jiangnan Institute of Computing Technology, Wuxi, P.R. China"],"affiliations":[{"raw_affiliation_string":"Jiangnan Institute of Computing Technology, Wuxi, P.R. China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090305216","display_name":"Linzhang Wang","orcid":"https://orcid.org/0000-0003-4794-1652"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linzhang Wang","raw_affiliation_strings":["Nanjing University, Nanjing, P.R. China","Nanjing University, NanJing, P. R. China#TAB#"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Nanjing University, NanJing, P. R. China#TAB#","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["Nanjing University, Nanjing, P.R. China","Nanjing University, NanJing, P. R. China#TAB#"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Nanjing University, NanJing, P. R. China#TAB#","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100374646"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.486,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.69391771,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"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.9998999834060669,"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.9998999834060669,"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.9998000264167786,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering 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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8180084824562073},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7951440811157227},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.7683358192443848},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7346502542495728},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5155858397483826},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5133296847343445},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5054621696472168},{"id":"https://openalex.org/keywords/activity-diagram","display_name":"Activity diagram","score":0.5047627687454224},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.502417802810669},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48933571577072144},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.482297420501709},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45170390605926514},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.42862576246261597},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.41637247800827026},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11118254065513611}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8180084824562073},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7951440811157227},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.7683358192443848},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7346502542495728},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5155858397483826},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5133296847343445},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5054621696472168},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.5047627687454224},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.502417802810669},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48933571577072144},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.482297420501709},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45170390605926514},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42862576246261597},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.41637247800827026},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11118254065513611},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2532443.2532465","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2532443.2532465","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Asia-Pacific Symposium on Internetware","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6000000238418579,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G2910740813","display_name":null,"funder_award_id":"2012AA011205","funder_id":"https://openalex.org/F4320321540","funder_display_name":"Ministry of Science and Technology of the People's Republic of China"},{"id":"https://openalex.org/G4814151113","display_name":null,"funder_award_id":"91318301, 61170066, 91118002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321540","display_name":"Ministry of Science and Technology of the People's Republic of China","ror":"https://ror.org/027s68j25"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W328655713","https://openalex.org/W841043899","https://openalex.org/W1504202790","https://openalex.org/W2032942444","https://openalex.org/W2079833988","https://openalex.org/W2097444001","https://openalex.org/W2101842544","https://openalex.org/W2104993088","https://openalex.org/W2125174515","https://openalex.org/W2134001468","https://openalex.org/W2139391819","https://openalex.org/W2157427137","https://openalex.org/W2165203881","https://openalex.org/W2296669295"],"related_works":["https://openalex.org/W1983849186","https://openalex.org/W34311366","https://openalex.org/W2553223552","https://openalex.org/W2155539595","https://openalex.org/W844671342","https://openalex.org/W49527103","https://openalex.org/W2364496964","https://openalex.org/W2527390967","https://openalex.org/W2009637593","https://openalex.org/W2955263613"],"abstract_inverted_index":{"It":[0],"is":[1,90],"encouraged":[2],"to":[3,7,62,93,108,112,135,142,193,210,226,238],"develop":[4],"practical":[5],"approaches":[6],"ensure":[8],"that":[9,179],"the":[10,24,65,88,103,124,133,137,144,152,156,166,180,188,197,212,215,228,240],"software":[11,26,41,67],"artifacts":[12,43],"are":[13,31,78,106,129,199],"created":[14],"as":[15,19,21,139,141,207],"expected":[16,66],"or":[17],"defect-free":[18],"early":[20],"possible.":[22],"In":[23,55,175],"industry,":[25],"analysis":[27],"and":[28,37,80,98,164,170,217,231],"testing":[29],"techniques":[30],"widely":[32],"used":[33,206],"solutions":[34],"for":[35],"codes":[36],"executables,":[38],"respectively.":[39],"However,":[40],"design":[42,53,153,216],"can":[44,203],"only":[45],"be":[46,205],"verified":[47],"by":[48,159],"manual":[49],"peer":[50],"review":[51],"in":[52,70,196],"phase.":[54],"this":[56],"paper,":[57],"we":[58,177],"propose":[59],"an":[60],"approach":[61,150],"automatically":[63],"simulate":[64],"behavior":[68],"depicted":[69],"UML":[71,75],"activity":[72,76],"diagrams.":[73],"First,":[74],"diagrams":[77],"parsed":[79],"initialized":[81],"semantically":[82,130],"with":[83],"a":[84,109,114,223,234],"concrete":[85,117,126],"execution.":[86],"Second,":[87],"model":[89,134,148,173,198],"symbolically":[91],"executed,":[92],"collect":[94,143],"paths,":[95],"input":[96,121,127,190],"variables,":[97],"their":[99],"path":[100,104],"conditions.":[101],"Then,":[102],"conditions":[105],"passed":[107],"constraint":[110],"solver":[111],"generate":[113],"set":[115],"of":[116,119,168,242],"value":[118],"possible":[120],"variables.":[122],"Final,":[123],"generated":[125,200],"variables":[128],"executed":[131],"on":[132,172],"identify":[136],"defects":[138],"well":[140],"execution":[145,194],"path.":[146],"The":[147],"simulation":[149,157],"reuses":[151],"models,":[154],"automates":[155],"process":[158],"using":[160],"model-based":[161],"concolic":[162],"execution,":[163],"has":[165],"advantage":[167],"visibility":[169],"observability":[171],"simulation.":[174],"addition,":[176],"found":[178],"solvable":[181],"paths":[182,195],"represent":[183],"behavioral":[184],"scenarios.":[185],"While":[186],"simulating":[187],"model,":[189],"values":[191],"corresponding":[192],"automatically.":[201],"They":[202],"also":[204,221],"test":[208],"suites":[209],"find":[211],"inconsistency":[213],"between":[214],"implementation.":[218],"We":[219],"have":[220,232],"developed":[222],"prototype":[224],"tool":[225],"support":[227],"above":[229],"process,":[230],"conducted":[233],"trivial":[235],"case":[236],"study":[237],"demonstrate":[239],"applicability":[241],"our":[243],"approach.":[244]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}