Salvaneschi, Guido

University of St.Gallen

2 papers on CoChatORCID 0000-0002-9324-8894

Most cited papers

Verified
Automated infrastructure as code program testing
Sokolowski, D., Spielmann, D., & Salvaneschi, G. (2024) · IEEE Transactions on Software Engineering
Software Testing and Debugging TechniquesSoftware System Performance and Reliability
Cited by 20
Verified
AgentBound: Securing Execution Boundaries of AI Agents
Bühler, C., Biagiola, M., Di Grazia, L., & Salvaneschi, G. (2026) · Proceedings of the ACM on Software Engineering
Access Control and TrustSecurity and Verification in Computing
Cited by 9

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free