Issue Downloads
Shadow Symbolic Execution for Testing Software Patches
While developers are aware of the importance of comprehensively testing patches, the large effort involved in coming up with relevant test cases means that such testing rarely happens in practice. Furthermore, even when test cases are written to cover ...
The ABC of Software Engineering Research
A variety of research methods and techniques are available to SE researchers, and while several overviews exist, there is consistency neither in the research methods covered nor in the terminology used. Furthermore, research is sometimes critically ...
Linear Programming as a Baseline for Software Effort Estimation
Software effort estimation studies still suffer from discordant empirical results (i.e., conclusion instability) mainly due to the lack of rigorous benchmarking methods. So far only one baseline model, namely, Automatically Transformed Linear Model (...
Spectrum-Based Fault Localization in Model Transformations
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques greatly relies on the correctness ...
Multi-Objective Optimization of Energy Consumption of GUIs in Android Apps
- Mario Linares-Vásquez,
- Gabriele Bavota,
- Carlos Bernal-Cárdenas,
- Massimiliano Di Penta,
- Rocco Oliveto,
- Denys Poshyvanyk
The number of mobile devices sold worldwide has exponentially increased in recent years, surpassing that of personal computers in 2011. Such devices daily download and run millions of apps that take advantage of modern hardware features (e.g., multi-...