Automatic test cases generation from formal contracts
- Gil, S.J.
- Capel, M.I.
- Olea, G.O.
Revista:
Information and Software Technology
ISSN: 0950-5849
Ano de publicación: 2024
Volume: 172
Tipo: Artigo
