2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2021★ 1 cited
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…
cs.PL2017★ 2 cited
Kayak: Safe Semantic Refactoring to Java Streams
Cristina David, Pascal Kesseli, Daniel Kroening
Refactorings are structured changes to existing software that leave its externally observable behaviour unchanged. Their intent is to improve readability, performance or other non-…