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