Generate synthetic traces to uncover unexpected behavior and assist in designing STLs for a system #Result