B model quality assessments on automated reachability repair with ISO/IEC 25010

Open Webpage

Cheng-Hao Cai, Jing Sun, Gillian Dobbie

Published: 2022, Last Modified: 18 May 2025Sci. Comput. Program. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•ISO/IEC 25010 can be used to evaluate the quality of state spaces.•Twenty criteria for measuring the quality of abstract machines are proposed.•The reachability of abstract machines can be automatically repaired.•The quality of reachability repair can be evaluated using ISO/IEC 25010.