# Automated Test Generation and Mutation Testing for Alloy

> Research article (2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017) · cited 46× · AI/ML

**Wikidata**: [openalex:W2614541902](https://www.wikidata.org/wiki/openalex:W2614541902)  
**Source**: https://4ort.xyz/entity/automated-test-generation-and-mutation-testing-for-alloy