220 citations · 1k across the 53 of their papers we have counts for
3 papers · 2 filters
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
Christopher Henard, Mike Papadakis, Gilles Perrouin +3
Software Product Lines (SPLs) are families of products whose commonalities and variability can be captured by Feature Models (FMs). T-wise testing aims at finding errors triggered…
Model Driven Mutation Applied to Adaptative Systems Testing
Alexandre Bartel, Benoit Baudry, Freddy Munoz +3
Dynamically Adaptive Systems modify their behav- ior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical sys- tems…
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot
Alexandre Bartel, Jacques Klein, Martin Monperrus +1
This paper introduces Dexpler, a software package which converts Dalvik bytecode to Jimple. Dexpler is built on top of Dedexer and Soot. As Jimple is Soot's main internal rep- rese…