Johann Glock
Orcid: 0000-0002-0152-8611
According to our database1,
Johann Glock authored at least 5 papers
between 2024 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Security Incentivization: An Empirical Study of how Micropayments Impact Code Security.
CoRR, May, 2026
2025
Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests.
CoRR, December, 2025
2024
J. Syst. Softw., 2024
PASDA: A partition-based semantic differencing approach with best effort classification of undecided cases.
J. Syst. Softw., 2024
Aiding Developer Understanding of Software Changes via Symbolic Execution-based Semantic Differencing.
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024