Automatic test cases generation from formal contracts
- Gil, S.J.
- Capel, M.I.
- Olea, G.O.
Revue:
Information and Software Technology
ISSN: 0950-5849
Année de publication: 2024
Volumen: 172
Type: Article