Automated Software Engineering 8

• Static Analysis (SAST) & Building Your Own Rules Dec 28, 2025
• Hacking Code with Pure Math - Formal Verification Dec 28, 2025
• Security Engineer’s Guide to MDE & Code Gen Dec 28, 2025
• Automating Software Robustness: Code Coverage and Randoop Dec 28, 2025
• Textual Modeling for Security Pros Dec 27, 2025
• Graph Modeling & Logic Solvers Dec 27, 2025
• Escaping Dependency Hell: A Modern Approach to Modular Java Builds with Gradle Dec 26, 2025
• The Foundation of DevSecOps: Building a Verifiable Pipeline with GitHub Actions Dec 26, 2025