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