43 citations · 113 across the 13 of their papers we have counts for
13 papers
Generating Accurate OpenAPI Descriptions from Java Source Code
Alexander Lercher, Christian Macho, Clemens Bauer +1
Developers require accurate descriptions of REpresentational State Transfer (REST) Application Programming Interfaces (APIs) for a successful interaction between web services. The…
Microservice API Evolution in Practice: A Study on Strategies and Challenges
Alexander Lercher, Johann Glock, Christian Macho +1
Nowadays, many companies design and develop their software systems as a set of loosely coupled microservices that communicate via their Application Programming Interfaces (APIs). W…
PASDA: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases
Johann Glock, Josef Pichler, Martin Pinzger
Equivalence checking is used to verify whether two programs produce equivalent outputs when given equivalent inputs. Research in this field mainly focused on improving equivalence…
Incentive-Based Software Security: Fair Micro-Payments for Writing Secure Code
Stefan Rass, Martin Pinzger
We describe a mechanism to create fair and explainable incentives for software developers to reward contributions to security of a product. We use cooperative game theory to model…
RobotPerf: An Open-Source, Vendor-Agnostic, Benchmarking Suite for Evaluating Robotics Computing System Performance
Víctor Mayoral-Vilches, Jason Jabbour, Yu-Shun Hsiao +16
We introduce RobotPerf, a vendor-agnostic benchmarking suite designed to evaluate robotics computing performance across a diverse range of hardware platforms using ROS 2 as its com…
ExploitFlow, cyber security exploitation routes for Game Theory and AI research in robotics
Víctor Mayoral-Vilches, Gelei Deng, Yi Liu +2
This paper addresses the prevalent lack of tools to facilitate and empower Game Theory and Artificial Intelligence (AI) research in cybersecurity. The primary contribution is the i…
PentestGPT: An LLM-empowered Automatic Penetration Testing Tool
Gelei Deng, Yi Liu, Víctor Mayoral-Vilches +7
Penetration testing, a crucial industrial practice for ensuring system security, has traditionally resisted automation due to the extensive expertise required by human professional…
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…
Breviz: Visualizing Spreadsheets using Dataflow Diagrams
Felienne Hermans, Martin Pinzger, Arie van Deursen
Spreadsheets are used extensively in industry, often for business critical purposes. In previous work we have analyzed the information needs of spreadsheet professionals and addres…