| Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware |
16 |
| How Far We Have Progressed in the Journey? An Examination of Cross-Project Defect Prediction |
12 |
| Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers |
8 |
| RESTful API Automated Test Case Generation with EvoMaster |
6 |
| Variability Bugs in Highly Configurable Systems: A Qualitative Analysis |
5 |
| Recommending Who to Follow in the Software Engineering Twitter Space |
4 |
| Spectrum-Based Fault Localization in Model Transformations |
4 |
| Linear Programming as a Baseline for Software Effort Estimation |
4 |
| An Empirical Study of Meta- and Hyper-Heuristic Search for Multi-Objective Release Planning |
4 |
| Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys |
3 |
| Shadow Symbolic Execution for Testing Software Patches |
3 |
| The ABC of Software Engineering Research |
3 |
| An Empirical Study on Learning Bug-Fixing Patches in the Wild via Neural Machine Translation |
3 |
| Variability-Aware Static Analysis at Scale: An Empirical Study |
3 |
| Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability |
3 |
| Oracles for Testing Software Timeliness with Uncertainty |
2 |
| Software Effort Interval Prediction via Bayesian Inference and Synthetic Bootstrap Resampling |
2 |
| The State of Empirical Evaluation in Static Feature Location |
2 |
| Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL |
2 |
| Understanding and Combating Memory Bloat in Managed Data-Intensive Systems |
2 |
| Test-Equivalence Analysis for Automatic Patch Generation |
2 |
| Refactoring Multi-Level Models |
2 |
| Understanding and Analyzing Java Reflection |
2 |
| Isolation Modeling and Analysis Based on Mobility |
2 |
| Multi-Objective Optimization of Energy Consumption of GUIs in Android Apps |
2 |
| Automated Reuse of Model Transformations through Typing Requirements Models |
2 |
| Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs |
2 |
| FEMOSAA: Feature-Guided and Knee-Driven Multi-Objective Optimization for Self-Adaptive Software |
2 |
| STADS: Software Testing as Species Discovery |
2 |
| Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores |
1 |
| Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach |
1 |
| The Virtual Developer: Integrating Code Generation and Manual Development with Conflict Resolution |
1 |
| Inferring Extended Probabilistic Finite-State Automaton Models from Software Executions |
1 |
| Domain Analysis and Description Principles, Techniques, and Modelling Languages |
1 |
| An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction |
1 |
| Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software |
1 |
| Developing and Evaluating Objective Termination Criteria for Random Testing |
1 |
| Detecting the Behavior of Design Patterns through Model Checking and Dynamic Analysis |
1 |
| Global and Local Deadlock Freedom in BIP |
0 |
| Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving |
0 |
| Verifying and Quantifying Side-channel Resistance of Masked Software Implementations |
0 |
| Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development |
0 |
| Recommending New Features from Mobile App Descriptions |
0 |
| Assessing the Refactoring of Brain Methods |
0 |
| How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers? |
0 |
| Runtime Fault Detection in Programmed Molecular Systems |
0 |
