Energy Efficiency in Microservice Architectures: A Systematic Literature Review

This collection contains recent software-engineering research, including a neuro-symbolic system for generating proofs of vulnerability, LLM-assisted vulnerability discovery in business-process documentation, and tools for model merging, code reuse detection, workflow automation, and code-summary evaluation. The most security-relevant work is POVGEN, which reportedly generated valid proofs for many disclosed CVEs, exposed flawed patches, and uncovered previously unreported vulnerabilities. These are research findings and tools rather than reports of a single active incident.