research
∙
07/11/2023
Tests4Py: A Benchmark for System Testing
Benchmarks are among the main drivers of progress in software engineerin...
share
research
∙
04/18/2023
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
Context: Ensuring safety for any sophisticated system is getting more co...
research
∙
03/29/2023
Runtime Verification of Self-Adaptive Systems with Changing Requirements
To accurately make adaptation decisions, a self-adaptive system needs pr...
research
∙
11/07/2022
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL
Context: The goal of specification pattern catalogs for real-time requir...
research
∙
06/24/2022
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
Artifacts support evaluating new research results and help comparing the...
research
∙
02/26/2022
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing
A popular metric to evaluate the performance of fuzzers is branch covera...
research
∙
01/20/2022
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python
Context: Identifying potential vulnerable code is important to improve t...
research
∙
01/09/2022
A systematic literature review on counterexample explanation
Context: Safety is of paramount importance for cyber-physical systems in...
research
∙
08/13/2021
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
Context: The complexity of modern safety-critical systems in industries ...
research
∙
07/16/2021
Towards a Benchmark Set for Program Repair Based on Partial Fixes
Software bugs significantly contribute to software cost and increase the...
research
∙
12/28/2020
A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity
Context: In search-based software engineering we often use popular heuri...
research
∙
08/03/2020
Bet and Run for Test Case Generation
Anyone working in the technology sector is probably familiar with the qu...
research
∙
08/03/2020
Evolutionary Grammar-Based Fuzzing
A fuzzer provides randomly generated inputs to a targeted software to ex...
research
∙
06/21/2019
Challenges for Verifying and Validating Scientific Software in Computational Materials Science
Many fields of science rely on software systems to answer different rese...
research
∙
06/19/2019
Does Diversity Improve the Test Suite Generation for Mobile Applications?
In search-based software engineering we often use popular heuristics wit...
research
∙
03/12/2019
Perpetual Assurances for Self-Adaptive Systems
Providing assurances for self-adaptive systems is challenging. A primary...
research
∙
12/18/2018