APA (7th ed.) Citation

Jovanovic, A., & Sullivan, A. (2025). Mutation testing for temporal alloy models (extended version). Software & Systems Modeling, 24(6), 1847. https://doi.org/10.1007/s10270-024-01220-x

Chicago Style (17th ed.) Citation

Jovanovic, Ana, and Allison Sullivan. "Mutation Testing for Temporal Alloy Models (extended Version)." Software & Systems Modeling 24, no. 6 (2025): 1847. https://doi.org/10.1007/s10270-024-01220-x.

MLA (9th ed.) Citation

Jovanovic, Ana, and Allison Sullivan. "Mutation Testing for Temporal Alloy Models (extended Version)." Software & Systems Modeling, vol. 24, no. 6, 2025, p. 1847, https://doi.org/10.1007/s10270-024-01220-x.