29 citations · 44 across the 7 of their papers we have counts for
8 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…
Towards a Benchmark Set for Program Repair Based on Partial Fixes
Dirk Beyer, Lars Grunske, Thomas Lemberger +1
Software bugs significantly contribute to software cost and increase the risk of system malfunctioning. In recent years, many automated program-repair approaches have been proposed…
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…
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…
Does Diversity Improve the Test Suite Generation for Mobile Applications?
Thomas Vogel, Chinh Tran, Lars Grunske
In search-based software engineering we often use popular heuristics with default configurations, which typically lead to suboptimal results, or we perform experiments to identify…
Perpetual Assurances for Self-Adaptive Systems
Danny Weyns, Nelly Bencomo, Radu Calinescu +10
Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplet…