Metamodel-Based Language-Agnostic Approach to Unit Test Generation From Execution Traces — PhD Defense Presentation | Synapse