19 citations · 22 across the 5 of their papers we have counts for
3 papers · 1 filter
Quantifying the benefits of code hints for refactoring deprecated Java APIs
Cristina David, Pascal Kesseli, Daniel Kroening +1
When done manually, refactoring legacy code in order to eliminate uses of deprecated APIs is an error-prone and time-consuming process. In this paper, we investigate to which degre…
Towards establishing formal verification and inductive code synthesis in the PLC domain
Matthias Weiß, Philipp Marks, Benjamin Maschler +3
Nowadays, formal methods are used in various areas for the verification of programs or for code generation from models in order to increase the quality of software and to reduce co…
Assisted Coverage Closure
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy +3
The malfunction of safety-critical systems may cause damage to people and the environment. Software within those systems is rigorously designed and verified according to domain spe…