Skip to search formSkip to main contentSkip to account menu
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps
TLDR
FlowDroid is presented, a novel and highly precise static taint analysis for Android applications that successfully finds leaks in a subset of 500 apps from Google Play and about 1,000 malware apps from the VirusShare project.
View on ACM
AndroZoo: Collecting Millions of Android Apps for the Research Community
TLDR
This work presents a growing collection of Android Applications collected from several sources, including the official GooglePlay app market, which contains more than three million apps that have been analysed by tens of different AntiVirus products to know which applications are detected as Malware.
View on ACM
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps
TLDR
IccTA, a static taint analyzer to detect privacy leaks among components in Android applications goes beyond state-of-the-art approaches by supporting inter- component detection and propagating context information among components, which improves the precision of the analysis.
View on ACM
Effective inter-component communication mapping in Android with Epicc: an essential step towards holistic security analysis
TLDR
This paper reduces the discovery of inter-component communication in smartphones to an instance of the Interprocedural Distributive Environment (IDE) problem, and develops a sound static analysis technique targeted to the Android platform that finds ICC vulnerabilities with far fewer false positives than the next best tool.
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines
TLDR
A search-based approach capable of generating product configurations for large SPLs, forming a scalable and flexible alternative to current techniques and a prioritization algorithms for any set of product configurations, which employ a similarity heuristic.
View on IEEE
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines
TLDR
SATIBEA is introduced, that augments multi-objective search-based optimization with constraint solving to address this problem, and evaluated on five large real-world SPLs, indicating that SATIBEA statistically significantly outperforms the current state-of-the-art.
View on ACM
Metallaxis‐FL: mutation‐based fault localization
TLDR
Results from a controlled experiment show that the use of mutation as a testing technique provides benefits to the fault localization process, and fault localization is significantly improved by using mutation‐based tests instead of block‐based or branch‐based test suites.
View on Wiley
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
TLDR
A thorough empirical study using 6 large open source programs, several orders of magnitude larger than those used in previous work, and 18 benchmark programs with hand-analysis equivalent mutants reveals that Trivial Compiler Equivalence has the ability to detect approximately 30% of all the existing equivalent mutants.
View on ACM
Automatic test generation: a use case driven approach
TLDR
This work proposes a new approach for automating the generation of system test scenarios in the context of object-oriented embedded software, taking into account traceability problems between high-level views and concrete test case execution.
View on IEEE
Comparing White-Box and Black-Box Test Prioritization
TLDR
It is found that Combinatorial Interaction Testing and diversity-based techniques (Input Model Diversity and Input Test Set Diameter) perform best among the black-box approaches, while white-box techniques are found to be inapplicable.
View on ACM
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License