[en] Various approaches have been explored to detect and resolve software model inconsistencies. In this article, we outline our research that uses the artificial intelligence technique of automated planning for the purpose of resolving software model inconsistencies. We discuss the feasibility and scalability of a progression planner, and provide initial results of using a regression planner to improve the scalability.
