4 papers
Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
Stefan Rass, Martin Pinzger, Rainer W. Alexandrowicz +5
Security often receives insufficient developer attention because it does not directly generate visible value, leading to underinvestment in practice. We evaluate a countermeasure b…
Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
Johann Glock, Clemens Bauer, Martin Pinzger
Conventional unit tests validate single input-output pairs, leaving most inputs of an execution path untested. Property-based testing addresses this shortcoming by generating multi…
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…