Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124430468> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2124430468 endingPage "5" @default.
- W2124430468 startingPage "1" @default.
- W2124430468 abstract "There is a growing need for automated testing techniques aimed at Android apps. A critical challenge is the systematic generation of test cases. One method of systematically generating test cases for Java programs is symbolic execution. But applying symbolic execution tools, such as Symbolic Pathfinder (SPF), to generate test cases for Android apps is challenged by the fact that Android apps run on the Dalvik Virtual Machine (DVM) instead of JVM. In addition, Android apps are event driven and susceptible to path-divergence due to their reliance on an application development framework. This paper provides an overview of a two-pronged approach to alleviate these issues. First, we have developed a model of Android libraries in Java Pathfinder (JPF) to enable execution of Android apps in a way that addresses the issues of incompatibility with JVM and path-divergence. Second, we have leveraged program analysis techniques to correlate events with their handlers for automatically generating Android-specific drivers that simulate all valid events." @default.
- W2124430468 created "2016-06-24" @default.
- W2124430468 creator A5004407813 @default.
- W2124430468 creator A5025003618 @default.
- W2124430468 creator A5049257680 @default.
- W2124430468 creator A5053134485 @default.
- W2124430468 creator A5080334844 @default.
- W2124430468 date "2012-11-27" @default.
- W2124430468 modified "2023-10-06" @default.
- W2124430468 title "Testing android apps through symbolic execution" @default.
- W2124430468 cites W2009489720 @default.
- W2124430468 cites W2021698704 @default.
- W2124430468 cites W2097444001 @default.
- W2124430468 cites W2107754272 @default.
- W2124430468 cites W2113867182 @default.
- W2124430468 cites W2122598528 @default.
- W2124430468 cites W2138784804 @default.
- W2124430468 cites W2148588333 @default.
- W2124430468 cites W2161963160 @default.
- W2124430468 cites W4232276817 @default.
- W2124430468 cites W4232884709 @default.
- W2124430468 cites W4237869154 @default.
- W2124430468 doi "https://doi.org/10.1145/2382756.2382798" @default.
- W2124430468 hasPublicationYear "2012" @default.
- W2124430468 type Work @default.
- W2124430468 sameAs 2124430468 @default.
- W2124430468 citedByCount "119" @default.
- W2124430468 countsByYear W21244304682013 @default.
- W2124430468 countsByYear W21244304682014 @default.
- W2124430468 countsByYear W21244304682015 @default.
- W2124430468 countsByYear W21244304682016 @default.
- W2124430468 countsByYear W21244304682017 @default.
- W2124430468 countsByYear W21244304682018 @default.
- W2124430468 countsByYear W21244304682019 @default.
- W2124430468 countsByYear W21244304682020 @default.
- W2124430468 countsByYear W21244304682021 @default.
- W2124430468 countsByYear W21244304682022 @default.
- W2124430468 countsByYear W21244304682023 @default.
- W2124430468 crossrefType "journal-article" @default.
- W2124430468 hasAuthorship W2124430468A5004407813 @default.
- W2124430468 hasAuthorship W2124430468A5025003618 @default.
- W2124430468 hasAuthorship W2124430468A5049257680 @default.
- W2124430468 hasAuthorship W2124430468A5053134485 @default.
- W2124430468 hasAuthorship W2124430468A5080334844 @default.
- W2124430468 hasConcept C111919701 @default.
- W2124430468 hasConcept C11219265 @default.
- W2124430468 hasConcept C199360897 @default.
- W2124430468 hasConcept C2777904410 @default.
- W2124430468 hasConcept C2779639559 @default.
- W2124430468 hasConcept C3017891749 @default.
- W2124430468 hasConcept C41008148 @default.
- W2124430468 hasConcept C548217200 @default.
- W2124430468 hasConcept C557433098 @default.
- W2124430468 hasConcept C98183937 @default.
- W2124430468 hasConceptScore W2124430468C111919701 @default.
- W2124430468 hasConceptScore W2124430468C11219265 @default.
- W2124430468 hasConceptScore W2124430468C199360897 @default.
- W2124430468 hasConceptScore W2124430468C2777904410 @default.
- W2124430468 hasConceptScore W2124430468C2779639559 @default.
- W2124430468 hasConceptScore W2124430468C3017891749 @default.
- W2124430468 hasConceptScore W2124430468C41008148 @default.
- W2124430468 hasConceptScore W2124430468C548217200 @default.
- W2124430468 hasConceptScore W2124430468C557433098 @default.
- W2124430468 hasConceptScore W2124430468C98183937 @default.
- W2124430468 hasIssue "6" @default.
- W2124430468 hasLocation W21244304681 @default.
- W2124430468 hasOpenAccess W2124430468 @default.
- W2124430468 hasPrimaryLocation W21244304681 @default.
- W2124430468 hasRelatedWork W1556422878 @default.
- W2124430468 hasRelatedWork W1860988706 @default.
- W2124430468 hasRelatedWork W196342399 @default.
- W2124430468 hasRelatedWork W2047694629 @default.
- W2124430468 hasRelatedWork W2124430468 @default.
- W2124430468 hasRelatedWork W2168645221 @default.
- W2124430468 hasRelatedWork W2735337113 @default.
- W2124430468 hasRelatedWork W2899100898 @default.
- W2124430468 hasRelatedWork W2899983867 @default.
- W2124430468 hasRelatedWork W4301228544 @default.
- W2124430468 hasVolume "37" @default.
- W2124430468 isParatext "false" @default.
- W2124430468 isRetracted "false" @default.
- W2124430468 magId "2124430468" @default.
- W2124430468 workType "article" @default.