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, techniques for code debugging, and formal verification methods for proving software correctness. TESTAR performs automated software testing through the graphical user interface, applicable to continuous integration environments and extended reality (XR) systems. Research also extends to robustness testing for AI models under real-world operating conditions.