Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019307577> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2019307577 endingPage "1108" @default.
- W2019307577 startingPage "1097" @default.
- W2019307577 abstract "Software programs often include many defects that are not easy to detect because of the developers' mistakes, misunderstandings caused by the inadequate definition of requirements, and the complexity of the implementation. Due to the different skill levels of the testers, the significant increase in testing person-hours interferes with the progress of development projects. Therefore, it is desireable for any inexperienced developer to identify the cause of the defects. Model checking has been favored as a technique to improve the reliability earlier in the software development process. In this paper, we propose a verification method in which a Java source code control sequence is converted into finite automata in order to detect the cause of defects by using the model-checking tool UPPAAL, which has an exhaustive checking mechanism. We also propose a tool implemented by an Eclipse plug-in to assist general developers who have little knowledge of the model-checking tool. Because source code is generally complicated and large, the tool provides a step-wise verification mechanism based on the functional structure of the code and makes it easy to verify the business rules in the specification documents by adding a user-defined specification-based model to the source code model." @default.
- W2019307577 created "2016-06-24" @default.
- W2019307577 creator A5003285217 @default.
- W2019307577 creator A5042133994 @default.
- W2019307577 date "2014-01-01" @default.
- W2019307577 modified "2023-09-27" @default.
- W2019307577 title "Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking" @default.
- W2019307577 cites W1503170978 @default.
- W2019307577 cites W1910771831 @default.
- W2019307577 cites W1987046618 @default.
- W2019307577 cites W1996832037 @default.
- W2019307577 cites W2046234016 @default.
- W2019307577 cites W2046324261 @default.
- W2019307577 cites W2071515011 @default.
- W2019307577 cites W2106692463 @default.
- W2019307577 cites W2134724755 @default.
- W2019307577 cites W2135274583 @default.
- W2019307577 cites W2140943194 @default.
- W2019307577 cites W2141465799 @default.
- W2019307577 cites W2161660684 @default.
- W2019307577 doi "https://doi.org/10.1587/transinf.e97.d.1097" @default.
- W2019307577 hasPublicationYear "2014" @default.
- W2019307577 type Work @default.
- W2019307577 sameAs 2019307577 @default.
- W2019307577 citedByCount "1" @default.
- W2019307577 countsByYear W20193075772014 @default.
- W2019307577 crossrefType "journal-article" @default.
- W2019307577 hasAuthorship W2019307577A5003285217 @default.
- W2019307577 hasAuthorship W2019307577A5042133994 @default.
- W2019307577 hasBestOaLocation W20193075771 @default.
- W2019307577 hasConcept C110251889 @default.
- W2019307577 hasConcept C115903868 @default.
- W2019307577 hasConcept C121332964 @default.
- W2019307577 hasConcept C1276947 @default.
- W2019307577 hasConcept C145644426 @default.
- W2019307577 hasConcept C153185123 @default.
- W2019307577 hasConcept C199360897 @default.
- W2019307577 hasConcept C2777904410 @default.
- W2019307577 hasConcept C2778505590 @default.
- W2019307577 hasConcept C41008148 @default.
- W2019307577 hasConcept C43126263 @default.
- W2019307577 hasConcept C548217200 @default.
- W2019307577 hasConcept C98045186 @default.
- W2019307577 hasConceptScore W2019307577C110251889 @default.
- W2019307577 hasConceptScore W2019307577C115903868 @default.
- W2019307577 hasConceptScore W2019307577C121332964 @default.
- W2019307577 hasConceptScore W2019307577C1276947 @default.
- W2019307577 hasConceptScore W2019307577C145644426 @default.
- W2019307577 hasConceptScore W2019307577C153185123 @default.
- W2019307577 hasConceptScore W2019307577C199360897 @default.
- W2019307577 hasConceptScore W2019307577C2777904410 @default.
- W2019307577 hasConceptScore W2019307577C2778505590 @default.
- W2019307577 hasConceptScore W2019307577C41008148 @default.
- W2019307577 hasConceptScore W2019307577C43126263 @default.
- W2019307577 hasConceptScore W2019307577C548217200 @default.
- W2019307577 hasConceptScore W2019307577C98045186 @default.
- W2019307577 hasIssue "5" @default.
- W2019307577 hasLocation W20193075771 @default.
- W2019307577 hasOpenAccess W2019307577 @default.
- W2019307577 hasPrimaryLocation W20193075771 @default.
- W2019307577 hasRelatedWork W1493446239 @default.
- W2019307577 hasRelatedWork W1580752092 @default.
- W2019307577 hasRelatedWork W1825982205 @default.
- W2019307577 hasRelatedWork W1979547103 @default.
- W2019307577 hasRelatedWork W2162118494 @default.
- W2019307577 hasRelatedWork W2400542543 @default.
- W2019307577 hasRelatedWork W2750269901 @default.
- W2019307577 hasRelatedWork W4254917997 @default.
- W2019307577 hasRelatedWork W583902652 @default.
- W2019307577 hasRelatedWork W2528467228 @default.
- W2019307577 hasVolume "E97.D" @default.
- W2019307577 isParatext "false" @default.
- W2019307577 isRetracted "false" @default.
- W2019307577 magId "2019307577" @default.
- W2019307577 workType "article" @default.