Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003048918> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2003048918 abstract "Software formal verification is a technique used to ensure that computational systems have high-quality and work properly. From the system specification described in a formal language, we define properties that must be satisfied during system execution to guarantee the software quality. Then, these properties should be implemented in a verifier, tool responsible for running the verification and for notifying which properties were satisfied or not. When the verification process finishes, the verifier will indicate to software developers the possible location of each code fault in the system. The disadvantages of using formal verification are the high cost to apply this technique in real systems, and the necessity of having people with experience in formal languages and formal methods. In addition, the implementation of properties related to a particular system in a verifier is a complex task. To help software developers in the application of formal verification in Java programs, this work proposes the generation of properties code, for direct use in a verifier, from test purposes derived from system formal requirements." @default.
- W2003048918 created "2016-06-24" @default.
- W2003048918 creator A5005344502 @default.
- W2003048918 creator A5039452174 @default.
- W2003048918 date "2013-07-15" @default.
- W2003048918 modified "2023-09-23" @default.
- W2003048918 title "Generation of Java programs properties from test purposes" @default.
- W2003048918 cites W1522465028 @default.
- W2003048918 cites W1991346612 @default.
- W2003048918 cites W1994350081 @default.
- W2003048918 cites W1996832037 @default.
- W2003048918 cites W2023808162 @default.
- W2003048918 cites W2025480213 @default.
- W2003048918 cites W2115309705 @default.
- W2003048918 cites W2152866041 @default.
- W2003048918 cites W2171480813 @default.
- W2003048918 cites W4236287236 @default.
- W2003048918 doi "https://doi.org/10.1145/2483760.2492400" @default.
- W2003048918 hasPublicationYear "2013" @default.
- W2003048918 type Work @default.
- W2003048918 sameAs 2003048918 @default.
- W2003048918 citedByCount "0" @default.
- W2003048918 crossrefType "proceedings-article" @default.
- W2003048918 hasAuthorship W2003048918A5005344502 @default.
- W2003048918 hasAuthorship W2003048918A5039452174 @default.
- W2003048918 hasConcept C111498074 @default.
- W2003048918 hasConcept C115903868 @default.
- W2003048918 hasConcept C116253237 @default.
- W2003048918 hasConcept C117447612 @default.
- W2003048918 hasConcept C149091818 @default.
- W2003048918 hasConcept C186846655 @default.
- W2003048918 hasConcept C199360897 @default.
- W2003048918 hasConcept C2777904410 @default.
- W2003048918 hasConcept C33054407 @default.
- W2003048918 hasConcept C41008148 @default.
- W2003048918 hasConcept C529173508 @default.
- W2003048918 hasConcept C548217200 @default.
- W2003048918 hasConcept C75606506 @default.
- W2003048918 hasConceptScore W2003048918C111498074 @default.
- W2003048918 hasConceptScore W2003048918C115903868 @default.
- W2003048918 hasConceptScore W2003048918C116253237 @default.
- W2003048918 hasConceptScore W2003048918C117447612 @default.
- W2003048918 hasConceptScore W2003048918C149091818 @default.
- W2003048918 hasConceptScore W2003048918C186846655 @default.
- W2003048918 hasConceptScore W2003048918C199360897 @default.
- W2003048918 hasConceptScore W2003048918C2777904410 @default.
- W2003048918 hasConceptScore W2003048918C33054407 @default.
- W2003048918 hasConceptScore W2003048918C41008148 @default.
- W2003048918 hasConceptScore W2003048918C529173508 @default.
- W2003048918 hasConceptScore W2003048918C548217200 @default.
- W2003048918 hasConceptScore W2003048918C75606506 @default.
- W2003048918 hasLocation W20030489181 @default.
- W2003048918 hasOpenAccess W2003048918 @default.
- W2003048918 hasPrimaryLocation W20030489181 @default.
- W2003048918 hasRelatedWork W1512563586 @default.
- W2003048918 hasRelatedWork W1517312625 @default.
- W2003048918 hasRelatedWork W1571397347 @default.
- W2003048918 hasRelatedWork W1995362218 @default.
- W2003048918 hasRelatedWork W2099941001 @default.
- W2003048918 hasRelatedWork W2105778188 @default.
- W2003048918 hasRelatedWork W2115980005 @default.
- W2003048918 hasRelatedWork W2116838115 @default.
- W2003048918 hasRelatedWork W2119526945 @default.
- W2003048918 hasRelatedWork W2120186763 @default.
- W2003048918 hasRelatedWork W2130372530 @default.
- W2003048918 hasRelatedWork W2144950612 @default.
- W2003048918 hasRelatedWork W2154385397 @default.
- W2003048918 hasRelatedWork W2549863208 @default.
- W2003048918 hasRelatedWork W2784060175 @default.
- W2003048918 hasRelatedWork W2886273051 @default.
- W2003048918 hasRelatedWork W297617173 @default.
- W2003048918 hasRelatedWork W3021902290 @default.
- W2003048918 hasRelatedWork W79733723 @default.
- W2003048918 hasRelatedWork W825711894 @default.
- W2003048918 isParatext "false" @default.
- W2003048918 isRetracted "false" @default.
- W2003048918 magId "2003048918" @default.
- W2003048918 workType "article" @default.