ASSERTIFY is an AI-powered framework for generating production assertions for Java code using large language models and structured prompting. It analyzes source code and recommends assertions that help developers detect invalid program states while preserving intended application behavior.
The framework combines reusable Python and Java components with JavaParser-based static analysis, compilation checks, and automated tests to validate generated assertions before use. ASSERTIFY demonstrates how generative AI can support practical, production-ready verification and improve software reliability, testing, and maintainability.