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, making it applicable to continuous integration environments and reducing the cost of sustained quality assurance. Research also extends to robustness testing for AI models under real-world operating conditions.