Automatic test cases generation from formal contracts
- Gil, S.J.
- Capel, M.I.
- Olea, G.O.
Aldizkaria:
Information and Software Technology
ISSN: 0950-5849
Argitalpen urtea: 2024
Alea: 172
Mota: Artikulua