This document discusses symbolic test generation for compositional real-time systems. It motivates the research by explaining that real-time systems have both behavioral and time constraints, and that testing subsystems individually can reduce costs but integration testing poses challenges. The problem is defined as how to validate the behavior of compositional real-time systems using symbolic specifications. The research questions aim to define composition operators for symbolic models, determine challenges in inferring conformance based on composites, and generate integration tests from composed models. Preliminary results include defining sequential and parallel composition operators and applying them in a case study.