Abstract Testing: Connecting Source Code Verification with Requirements.

Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf

Browse the full QUATIC paper archive.