Software platform based on Artificial Intelligence algorithms to automate the writing of tests for verifying embedded software.