Studying bugs in the Salt Configuration Management System