Abstractions on Test Design Techniques - Marc-Florian Wendland (Annals of computer science and information systems)