Automatic test cases generation from formal contracts

  1. Gil, S.J.
  2. Capel, M.I.
  3. Olea, G.O.
Zeitschrift:
Information and Software Technology

ISSN: 0950-5849

Datum der Publikation: 2024

Ausgabe: 172

Art: Artikel

DOI: 10.1016/J.INFSOF.2024.107467 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus