Crossmark

Mutation testing for temporal alloy models (extended version)

Published Online: 2024-10-28

Authors

Jovanovic, Ana

Sullivan, Allison
Funding

Funding for this research was provided by:

Division of Computing and Communication Foundations (2204536)
License Information

Text and Data Mining valid from 2024-10-28

Version of Record valid from 2024-10-28
More Information

Article History

Received: 30 April 2024

Revised: 24 July 2024

Accepted: 2 October 2024

First Online: 28 October 2024

Document is current