Cited By
View all- Hallal HFaizan A(2024)Model Checking Based Test Adaptation in Changing Business SoftwareProceedings of the 2024 6th International Conference on Software Engineering and Development10.1145/3686614.3686616(14-22)Online publication date: 29-May-2024
- Geng MZhang XLi J(2021)Finding More Property Violations in Model Checking via the Restart PolicyElectronics10.3390/electronics1023295710:23(2957)Online publication date: 27-Nov-2021
- Karna AChen YYu HZhong HZhao J(2018)The role of model checking in software engineeringFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-016-6192-012:4(642-668)Online publication date: 1-Aug-2018
- Show More Cited By