17 citations · 20 across the 4 of their papers we have counts for
5 papers
Presentation: SymDefFix -- Sound Automatic Repair Using Symbolic Execution
Tareq Mohammed Nazir, Martin Pinzger
In this presentation, we introduce our constraint-based repair approach, called SymDefFix. SymDefFix is based on ExtractFix [3] and replaces the dynamic analysis steps of ExtractFi…
alurity, a toolbox for robot cybersecurity
Víctor Mayoral-Vilches, Irati Abad-Fernández, Martin Pinzger +8
The reuse of technologies and inherent complexity of most robotic systems is increasingly leading to robots with wide attack surfaces and a variety of potential vulnerabilities. Gi…
Can ROS be used securely in industry? Red teaming ROS-Industrial
Víctor Mayoral-Vilches, Martin Pinzger, Stefan Rass +2
With its growing use in industry, ROS is rapidly becoming a standard in robotics. While developments in ROS 2 show promise, the slow adoption cycles in industry will push widesprea…
Extracting Build Changes with BUILDDIFF
Christian Macho, Shane McIntosh, Martin Pinzger
Build systems are an essential part of modern software engineering projects. As software projects change continuously, it is crucial to understand how the build system changes beca…
Measuring Spreadsheet Formula Understandability
Felienne Hermans, Martin Pinzger, Arie van Deursen
Spreadsheets are widely used in industry, because they are flexible and easy to use. Sometimes they are even used for business-critical applications. It is however difficult for sp…