# Automatic B-model repair using model checking and machine learning

> Research article (Automated Software Engineering, 2019) · cited 16× · AI/ML

**Wikidata**: [openalex:W2966925236](https://www.wikidata.org/wiki/openalex:W2966925236)  
**Source**: https://4ort.xyz/entity/automatic-b-model-repair-using-model-checking-and-machine-learning