Towards Strengthening Formal Specifications with Mutation Model Checking
Conference proceeding (November 2023)
The most recent citing publications are shown below. View all 26 publications that cite this research output on Dimensions.
Conference proceeding (November 2023)
Conference proceeding (August 2023)
Conference proceeding (April 2023)