This paper was published in the proceedings of the 37th International Conference on Software Maintenance and Evolution (ICSME 2021). If software quality assurance is postponed or abandoned for a software system, maintenance and evolution become harder or impossible. One symptom for the degradation of system quality are ...

Due to the lack of established real-world benchmark suites for static taint analyses of Android applications, evaluations of these analyses are often restricted and hard to compare. Even in evaluations that do use real-world applications, details about the ground truth in those apps are rarely documented, which makes it ...

This is a summary of our work presented at the International Conference on Software Testing 2021 [Gr21b]. Tests that cause spurious failures without code changes, i.e., flaky tests, hamper regression testing and decrease trust in tests. While the prevalence and importance of flakiness is well established, prior research ...

We present a user study with developers at Amazon Web Services on their expectations of IDE support for cloud-based static analyses. The paper was originally presented at ESEC/FSE 2021. Many companies are providing Static Application Security Testing (SAST) tools as a service. These tools fit well into CI/CD, because ...

We present our paper published in the proceedings of the 27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). In an experiment in which 34 participants had to analyze cloning in existing software systems using the EvoStreets visualization, we found indications that the movement ...

Automotive companies need to develop new innovations fast in order to stay ahead of their competitors. New sensor technologies and the connection between cars and smartphones open the development of different services, like the analysis of driving behavior. These services are called mobile online services and are a growing ...

Performance changes of configurable software systems can occur and persist throughout their lifetime. Finding optimal configurations and configuration options that influence performance is already difficult, but in the light of software evolution, configuration-dependent performance changes may lurk in a potentially large ...

The 36th IEEE/ACM International Conference on Automated Software Engineering (2021) accepted the paper ‘Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost’ [MH21a] and selected it for an ACM SIGSOFT Distinguished Paper Award. The paper presents four generally ...

Software verification has recently made enormous progress. To keep their tools up to date with novel methods and enhanced techniques, tool developers integrate these within their own framework almost exclusively by re-implementation. While this allows for a conceptual re-use of methods, it nevertheless requires novel ...

We summarize our paper A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars that has been published in the proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020).