Tool-assisted unit-test generation and selection based on operational abstractions