Automatic test cases generation from formal contracts

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

ISSN: 0950-5849

Any de publicació: 2024

Volum: 172

Tipus: Article

DOI: 10.1016/J.INFSOF.2024.107467 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus