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

Año de publicación: 2024

Volumen: 172

Tipo: Artículo

DOI: 10.1016/J.INFSOF.2024.107467 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus