AllSyT: Model-based System Testing Using Alloy Specifications

Implementation artefacts of AllSyT testing tool, and the code for the case study.AllSyT测试工具（AllSyT testing tool）的实现工件，以及案例研究所用代码。