Adds more model-based parameter generation tests.