Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

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