This paper summarises the results of two papers devoted to race detection in distributed systems focusing on two complementary strategies: model checking and model-based test generation. We discuss how these approaches have been applied to the composition of an SDN controller and a switch resulting in the detection of races in the SDN framework. This study aims to provide the valuable insights for researchers and practitioners interested in race detection in distributed systems.