Matches in SemOpenAlex for { <https://semopenalex.org/work/W3031199222> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W3031199222 abstract "Just like rover or rocket technology sent into space, the software that controls these technologies must be extensively tested to ensure reliability and effectiveness. Ames Research Center invented the open-source Java Pathfinder (JPF) toolset for the deep testing of Java-based programs. Fujitsu Labs of America Inc., based in Sunnyvale, California, improved the capabilities of the JPF Symbolic Pathfinder tool, establishing the tool as a means of thoroughly testing the functionality and security of Web-based Java applications such as those used for Internet shopping and banking." @default.
- W3031199222 created "2020-06-05" @default.
- W3031199222 creator A5088615582 @default.
- W3031199222 date "2019-08-11" @default.
- W3031199222 modified "2023-09-27" @default.
- W3031199222 title "Verification Tools Secure Online Shopping, Banking" @default.
- W3031199222 hasPublicationYear "2019" @default.
- W3031199222 type Work @default.
- W3031199222 sameAs 3031199222 @default.
- W3031199222 citedByCount "0" @default.
- W3031199222 crossrefType "journal-article" @default.
- W3031199222 hasAuthorship W3031199222A5088615582 @default.
- W3031199222 hasConcept C110875604 @default.
- W3031199222 hasConcept C111919701 @default.
- W3031199222 hasConcept C121332964 @default.
- W3031199222 hasConcept C136764020 @default.
- W3031199222 hasConcept C163258240 @default.
- W3031199222 hasConcept C2777904410 @default.
- W3031199222 hasConcept C2778940482 @default.
- W3031199222 hasConcept C38652104 @default.
- W3031199222 hasConcept C41008148 @default.
- W3031199222 hasConcept C43214815 @default.
- W3031199222 hasConcept C548217200 @default.
- W3031199222 hasConcept C62520636 @default.
- W3031199222 hasConceptScore W3031199222C110875604 @default.
- W3031199222 hasConceptScore W3031199222C111919701 @default.
- W3031199222 hasConceptScore W3031199222C121332964 @default.
- W3031199222 hasConceptScore W3031199222C136764020 @default.
- W3031199222 hasConceptScore W3031199222C163258240 @default.
- W3031199222 hasConceptScore W3031199222C2777904410 @default.
- W3031199222 hasConceptScore W3031199222C2778940482 @default.
- W3031199222 hasConceptScore W3031199222C38652104 @default.
- W3031199222 hasConceptScore W3031199222C41008148 @default.
- W3031199222 hasConceptScore W3031199222C43214815 @default.
- W3031199222 hasConceptScore W3031199222C548217200 @default.
- W3031199222 hasConceptScore W3031199222C62520636 @default.
- W3031199222 hasLocation W30311992221 @default.
- W3031199222 hasOpenAccess W3031199222 @default.
- W3031199222 hasPrimaryLocation W30311992221 @default.
- W3031199222 hasRelatedWork W1601664894 @default.
- W3031199222 hasRelatedWork W2038351910 @default.
- W3031199222 hasRelatedWork W2065222763 @default.
- W3031199222 hasRelatedWork W2110100220 @default.
- W3031199222 hasRelatedWork W2123192916 @default.
- W3031199222 hasRelatedWork W2127446621 @default.
- W3031199222 hasRelatedWork W2147659521 @default.
- W3031199222 hasRelatedWork W2164319470 @default.
- W3031199222 hasRelatedWork W2165003371 @default.
- W3031199222 hasRelatedWork W2168660055 @default.
- W3031199222 hasRelatedWork W2171338798 @default.
- W3031199222 hasRelatedWork W2204098710 @default.
- W3031199222 hasRelatedWork W2342150084 @default.
- W3031199222 hasRelatedWork W2345812445 @default.
- W3031199222 hasRelatedWork W2498398901 @default.
- W3031199222 hasRelatedWork W2602276401 @default.
- W3031199222 hasRelatedWork W260999181 @default.
- W3031199222 hasRelatedWork W2737977845 @default.
- W3031199222 hasRelatedWork W3141081431 @default.
- W3031199222 hasRelatedWork W3187021573 @default.
- W3031199222 isParatext "false" @default.
- W3031199222 isRetracted "false" @default.
- W3031199222 magId "3031199222" @default.
- W3031199222 workType "article" @default.