Matches in SemOpenAlex for { <https://semopenalex.org/work/W2570831569> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2570831569 endingPage "5" @default.
- W2570831569 startingPage "1" @default.
- W2570831569 abstract "Because Android apps are written in Java and executed on a virtual machine (VM), there is an opportunity to employ Java Pathfinder (JPF) for their verification. There already exist two JPF extensions, jpf-android and jpf-pathdroid. The former executes Java bytecode on the Java VM, while the latter executes Android applications in their original format. Both do not support native methods, and thus depend on a model of the Android environment. This paper introduces an alternative approach: we run JPF as an Android application that executes Java bytecode, which gives us direct access to the Android environment. This approach allows us to verify rich Android apps that rely on native calls" @default.
- W2570831569 created "2017-01-13" @default.
- W2570831569 creator A5010478725 @default.
- W2570831569 creator A5013350879 @default.
- W2570831569 creator A5028729272 @default.
- W2570831569 creator A5054295591 @default.
- W2570831569 creator A5057841233 @default.
- W2570831569 creator A5063303937 @default.
- W2570831569 creator A5063347761 @default.
- W2570831569 date "2017-01-05" @default.
- W2570831569 modified "2023-10-03" @default.
- W2570831569 title "Java Pathfinder on Android Devices" @default.
- W2570831569 cites W1514703713 @default.
- W2570831569 cites W2139107230 @default.
- W2570831569 cites W2268105597 @default.
- W2570831569 doi "https://doi.org/10.1145/3011286.3011292" @default.
- W2570831569 hasPublicationYear "2017" @default.
- W2570831569 type Work @default.
- W2570831569 sameAs 2570831569 @default.
- W2570831569 citedByCount "4" @default.
- W2570831569 countsByYear W25708315692018 @default.
- W2570831569 countsByYear W25708315692019 @default.
- W2570831569 countsByYear W25708315692020 @default.
- W2570831569 crossrefType "journal-article" @default.
- W2570831569 hasAuthorship W2570831569A5010478725 @default.
- W2570831569 hasAuthorship W2570831569A5013350879 @default.
- W2570831569 hasAuthorship W2570831569A5028729272 @default.
- W2570831569 hasAuthorship W2570831569A5054295591 @default.
- W2570831569 hasAuthorship W2570831569A5057841233 @default.
- W2570831569 hasAuthorship W2570831569A5063303937 @default.
- W2570831569 hasAuthorship W2570831569A5063347761 @default.
- W2570831569 hasConcept C111919701 @default.
- W2570831569 hasConcept C132106392 @default.
- W2570831569 hasConcept C168702491 @default.
- W2570831569 hasConcept C199360897 @default.
- W2570831569 hasConcept C2777472213 @default.
- W2570831569 hasConcept C2779818221 @default.
- W2570831569 hasConcept C41008148 @default.
- W2570831569 hasConcept C548217200 @default.
- W2570831569 hasConcept C557433098 @default.
- W2570831569 hasConceptScore W2570831569C111919701 @default.
- W2570831569 hasConceptScore W2570831569C132106392 @default.
- W2570831569 hasConceptScore W2570831569C168702491 @default.
- W2570831569 hasConceptScore W2570831569C199360897 @default.
- W2570831569 hasConceptScore W2570831569C2777472213 @default.
- W2570831569 hasConceptScore W2570831569C2779818221 @default.
- W2570831569 hasConceptScore W2570831569C41008148 @default.
- W2570831569 hasConceptScore W2570831569C548217200 @default.
- W2570831569 hasConceptScore W2570831569C557433098 @default.
- W2570831569 hasIssue "6" @default.
- W2570831569 hasLocation W25708315691 @default.
- W2570831569 hasOpenAccess W2570831569 @default.
- W2570831569 hasPrimaryLocation W25708315691 @default.
- W2570831569 hasRelatedWork W1531423825 @default.
- W2570831569 hasRelatedWork W1532887546 @default.
- W2570831569 hasRelatedWork W1860988706 @default.
- W2570831569 hasRelatedWork W1902013399 @default.
- W2570831569 hasRelatedWork W1959863721 @default.
- W2570831569 hasRelatedWork W1970806266 @default.
- W2570831569 hasRelatedWork W2068737373 @default.
- W2570831569 hasRelatedWork W2110333676 @default.
- W2570831569 hasRelatedWork W2408273498 @default.
- W2570831569 hasRelatedWork W2464014640 @default.
- W2570831569 hasVolume "41" @default.
- W2570831569 isParatext "false" @default.
- W2570831569 isRetracted "false" @default.
- W2570831569 magId "2570831569" @default.
- W2570831569 workType "article" @default.