Abstract Testing: Connecting Source Code Verification with Requirements
-
Author:
Florian Merz, Carsten Sinz, Hendrik Post, Thomas Gorges, Thomas Kropf
-
Source:
In Proc. of the 7th Intl. Conf. on Quality of Information and Communications Technology (QUATIC 2010), Oporto, Portugal
- Date: 2010