At VRAIN, research in software analysis, verification, and testing focuses on automated testing methodologies, formal verification, and AI-based robustness assessment, with the aim of detecting faults and validating software behaviour without extensive manual intervention.

Work in this area covers automated GUI testing systems that explore applications without predefined test scripts, code debugging tools, and formal verification methods for proving software correctness. TESTAR performs automated software testing through the graphical user interface without requiring manual test scripts, making it applicable to continuous integration environments. Research also extends to robustness testing for AI models under real-world operating conditions.