2 papers
cs.CR2026
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…
cs.SE2025
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…