ASSERTIFY is an AI-powered framework for automatically generating production assertions that improve software reliability and maintainability. Using Large Language Models together with static program analysis, the system analyzes Java source code and recommends assertions that help developers detect incorrect program states during execution without modifying application behavior.
Beyond assertion generation, ASSERTIFY includes an automated validation pipeline that integrates source-code parsing, compilation, and testing to evaluate generated assertions before deployment. The project explores how generative AI can enhance software quality assurance by assisting developers with practical, production-ready verification techniques.