research
∙
01/17/2023
SECOMlint: A linter for Security Commit Messages
Transparent and efficient vulnerability and patch disclosure are still a...
share
research
∙
01/09/2023
Case studies of development of verified programs with Dafny for accessibility assessment
Formal verification techniques aim at formally proving the correctness o...
research
∙
12/02/2022
The Bumpy Road of Taking Automated Debugging to Industry
Debugging is arguably among the most difficult and extremely time consum...
research
∙
10/18/2021
A ground-truth dataset of real security patches
Training machine learning approaches for vulnerability identification an...
research
∙
07/13/2021
Mining Idioms in the Wild
Existing code repositories contain numerous instances of code patterns t...
research
∙
06/01/2021
On using distributed representations of source code for the detection of C security vulnerabilities
This paper presents an evaluation of the code representation model Code2...
research
∙
07/08/2020
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Over the last few years, there has been substantial research on automate...
research
∙
03/26/2020
Empirical Study of Restarted and Flaky Builds on Travis CI
Continuous Integration (CI) is a development practice where developers f...
research
∙
10/23/2019
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Over the last few years, there has been substantial research on automate...
research
∙
08/22/2019
Do Energy-oriented Changes Hinder Maintainability?
Energy efficiency is a crucial quality requirement for mobile applicatio...
research
∙
05/28/2019
Empirical Review of Java Program Repair Tools: A Large-Scale Experiment on 2,141 Bugs and 23,551 Repair Attempts
In the past decade, research on test-suite-based automatic program repai...
research
∙
05/22/2019
Critical Review of BugSwarm for Fault Localization and Program Repair
Benchmarks play an important role in evaluating the efficiency and effec...
research
∙
04/20/2019
Interviewing the Most Successful Bot on GitHub: Dr Travis CI on 35+ Million of its Jobs
Travis CI handles automatically thousands of builds every day to, amongs...
research
∙
02/07/2019
To the Attention of Mobile Software Developers: Guess What, Test your App!
Software testing is an important phase in the software development life-...
research
∙
02/07/2019
EMaaS: Energy Measurements as a Service for Mobile Applications
Measuring energy consumption is a challenging task faced by developers w...
research
∙
01/10/2019
Catalog of Energy Patterns for Mobile Applications
Software engineers make use of design patterns for reasons that range fr...
research
∙
03/15/2018
Using Automatic Refactoring to Improve Energy Efficiency of Android Apps
The ever-growing popularity of mobile phones has brought additional chal...
research
∙
07/14/2017