28 citations · 84 across the 11 of their papers we have counts for
27 papers · 1 filter
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel +1
Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods i…
How do we Evaluate Self-adaptive Software Systems?
Ilias Gerostathopoulos, Thomas Vogel, Danny Weyns +1
With the increase of research in self-adaptive systems, there is a need to better understand the way research contributions are evaluated. Such insights will support researchers to…
A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity
Thomas Vogel, Chinh Tran, Lars Grunske
Context: In search-based software engineering we often use popular heuristics with default configurations, which typically lead to suboptimal results, or we perform experiments to…
Bet and Run for Test Case Generation
Sebastian Müller, Thomas Vogel, Lars Grunske
Anyone working in the technology sector is probably familiar with the question: "Have you tried turning it off and on again?", as this is usually the default question asked by tech…
Evolutionary Grammar-Based Fuzzing
Martin Eberlein, Yannic Noller, Thomas Vogel +1
A fuzzer provides randomly generated inputs to a targeted software to expose erroneous behavior. To efficiently detect defects, generated inputs should conform to the structure of…
Micro-controllers: Promoting Structurally Flexible Controllers in Self-Adaptive Software Systems
B. R. Siqueira, F. C. Ferrari, T. Vogel +1
To promote structurally flexible controllers in self-adaptive software systems, this paper proposes the use of micro-controllers. Instead of generic monolithic controllers, like Ra…