5.2. Testing and Generation Notes | Simulations and Modeling BSC-CSIT | TU | TABFlux