VRAIN applies artificial intelligence to software development, quality assurance, and system verification, developing tools and methodologies that automate testing, enable model-driven development, and ensure software correctness through formal methods.
The TESTAR tool performs scriptless automated testing through graphical user interfaces, enabling systematic testing without manual test script creation. Model-driven engineering environments MOSKitt4ME and MATE automate code generation from conceptual models. Business process modelling tools GREAT Process Modeller and G-MAC support organisational and conceptual modelling, while formal verification techniques are applied to prove software correctness and security properties.
Research also covers computational logic for automated reasoning about program behaviour, planning algorithms for test generation and debugging, and AI techniques for requirements engineering and software reuse through product lines.
Related Technological Offer
Software & Patents
Services
- Planning — Conceptual modelling programming, business process design, automated software testing, code debugging tools, software verification and testing, robustness of AI models, business support application development, process modelling and evaluation.
- Reasoning — Organisational modelling for enterprise systems.
Related Research Areas
- Software Analysis, Verification and Testing — Automated testing, formal verification, quality assurance.
- Software Production Methods — Model-driven development, conceptual modelling, requirements engineering.
- Computational Logic and Automated Reasoning — Formal methods, automated reasoning, program verification.
- Planning and Reasoning — Automated planning for test generation and software synthesis.