View in EDS HTML Full Text PDF Full Text

Mutation testing for temporal alloy models (extended version).

Saved in:
Bibliographic Details
Title: Mutation testing for temporal alloy models (extended version).
Authors: Jovanovic, Ana1, ana.jovanovic@mavs.uta.edu, Sullivan, Allison1, allison.sullivan@uta.edu
Source: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1847-1868, 22p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:16191366
DOI:10.1007/s10270-024-01220-x