43 citations · 113 across the 13 of their papers we have counts for
9 papers · 1 filter
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…
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…
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…