Matches in SemOpenAlex for { <https://semopenalex.org/work/W2054293825> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2054293825 abstract "It is encouraged to develop practical approaches to ensure that the software artifacts are created as expected or defect-free as early as possible. In the industry, software analysis and testing techniques are widely used solutions for codes and executables, respectively. However, software design artifacts can only be verified by manual peer review in design phase. In this paper, we propose an approach to automatically simulate the expected software behavior depicted in UML activity diagrams. First, UML activity diagrams are parsed and initialized semantically with a concrete execution. Second, the model is symbolically executed, to collect paths, input variables, and their path conditions. Then, the path conditions are passed to a constraint solver to generate a set of concrete value of possible input variables. Final, the generated concrete input variables are semantically executed on the model to identify the defects as well as to collect the execution path. The model simulation approach reuses the design models, automates the simulation process by using model-based concolic execution, and has the advantage of visibility and observability on model simulation. In addition, we found that the solvable paths represent behavioral scenarios. While simulating the model, input values corresponding to execution paths in the model are generated automatically. They can also be used as test suites to find the inconsistency between the design and implementation. We have also developed a prototype tool to support the above process, and have conducted a trivial case study to demonstrate the applicability of our approach." @default.
- W2054293825 created "2016-06-24" @default.
- W2054293825 creator A5055394279 @default.
- W2054293825 creator A5059434721 @default.
- W2054293825 creator A5090305216 @default.
- W2054293825 creator A5090810072 @default.
- W2054293825 date "2013-10-23" @default.
- W2054293825 modified "2023-09-23" @default.
- W2054293825 title "Simulating software behavior based on UML activity diagram" @default.
- W2054293825 cites W2032942444 @default.
- W2054293825 cites W2097444001 @default.
- W2054293825 cites W2101842544 @default.
- W2054293825 cites W2104993088 @default.
- W2054293825 cites W2125174515 @default.
- W2054293825 cites W2134001468 @default.
- W2054293825 cites W2139391819 @default.
- W2054293825 cites W2157427137 @default.
- W2054293825 cites W2165203881 @default.
- W2054293825 cites W2296669295 @default.
- W2054293825 doi "https://doi.org/10.1145/2532443.2532465" @default.
- W2054293825 hasPublicationYear "2013" @default.
- W2054293825 type Work @default.
- W2054293825 sameAs 2054293825 @default.
- W2054293825 citedByCount "2" @default.
- W2054293825 countsByYear W20542938252018 @default.
- W2054293825 countsByYear W20542938252019 @default.
- W2054293825 crossrefType "proceedings-article" @default.
- W2054293825 hasAuthorship W2054293825A5055394279 @default.
- W2054293825 hasAuthorship W2054293825A5059434721 @default.
- W2054293825 hasAuthorship W2054293825A5090305216 @default.
- W2054293825 hasAuthorship W2054293825A5090810072 @default.
- W2054293825 hasConcept C11219265 @default.
- W2054293825 hasConcept C119857082 @default.
- W2054293825 hasConcept C128942645 @default.
- W2054293825 hasConcept C145644426 @default.
- W2054293825 hasConcept C152877465 @default.
- W2054293825 hasConcept C160145156 @default.
- W2054293825 hasConcept C177264268 @default.
- W2054293825 hasConcept C199360897 @default.
- W2054293825 hasConcept C2777735758 @default.
- W2054293825 hasConcept C2777904410 @default.
- W2054293825 hasConcept C2778770139 @default.
- W2054293825 hasConcept C2779639559 @default.
- W2054293825 hasConcept C41008148 @default.
- W2054293825 hasConcept C41298492 @default.
- W2054293825 hasConcept C64219723 @default.
- W2054293825 hasConcept C98045186 @default.
- W2054293825 hasConceptScore W2054293825C11219265 @default.
- W2054293825 hasConceptScore W2054293825C119857082 @default.
- W2054293825 hasConceptScore W2054293825C128942645 @default.
- W2054293825 hasConceptScore W2054293825C145644426 @default.
- W2054293825 hasConceptScore W2054293825C152877465 @default.
- W2054293825 hasConceptScore W2054293825C160145156 @default.
- W2054293825 hasConceptScore W2054293825C177264268 @default.
- W2054293825 hasConceptScore W2054293825C199360897 @default.
- W2054293825 hasConceptScore W2054293825C2777735758 @default.
- W2054293825 hasConceptScore W2054293825C2777904410 @default.
- W2054293825 hasConceptScore W2054293825C2778770139 @default.
- W2054293825 hasConceptScore W2054293825C2779639559 @default.
- W2054293825 hasConceptScore W2054293825C41008148 @default.
- W2054293825 hasConceptScore W2054293825C41298492 @default.
- W2054293825 hasConceptScore W2054293825C64219723 @default.
- W2054293825 hasConceptScore W2054293825C98045186 @default.
- W2054293825 hasFunder F4320321001 @default.
- W2054293825 hasFunder F4320321540 @default.
- W2054293825 hasLocation W20542938251 @default.
- W2054293825 hasOpenAccess W2054293825 @default.
- W2054293825 hasPrimaryLocation W20542938251 @default.
- W2054293825 hasRelatedWork W2045666133 @default.
- W2054293825 hasRelatedWork W2118900219 @default.
- W2054293825 hasRelatedWork W213389411 @default.
- W2054293825 hasRelatedWork W2156923043 @default.
- W2054293825 hasRelatedWork W2168645221 @default.
- W2054293825 hasRelatedWork W2170394446 @default.
- W2054293825 hasRelatedWork W2377099116 @default.
- W2054293825 hasRelatedWork W2584952869 @default.
- W2054293825 hasRelatedWork W3000541349 @default.
- W2054293825 hasRelatedWork W4244498795 @default.
- W2054293825 isParatext "false" @default.
- W2054293825 isRetracted "false" @default.
- W2054293825 magId "2054293825" @default.
- W2054293825 workType "article" @default.