29 citations · 56 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021
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…
cs.SE2021★ 1 cited
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…