Automation, code coverage, Design Verification, formal verification, Metamodeling, Metamodelling, Reinforcement Learning.