Evaluation of Android Malware Detection Based on System Calls
Language-Independent, Automated Software Composition
Trivial compiler equivalence: a large scale empirical study of a simple, fast and effective equivalent mutant detection technique
Witness Validation and Stepwise Testification across Software Verifiers
Getting to Know You Towards a Capability Model for Java
A user-guided approach to program analysis
Automatic Creation of SQL Injection and Cross-Site Scripting Attacks
A Curated Benchmark Collection of Python Systems for Empirical Studies on Software Engineering
Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods
Discovering refactoring opportunities in cascading style sheets
Mining energy-greedy API usage patterns in Android apps: an empirical study