Testing abstractions