names for dfa and refactoring of specs to use parametrized tests