• Testing Models of Reactive Systems 

      Ahmadi, Reza
      Testing models of modern Real-time Embedded (RTE) systems is not straightforward due to timing constraints, numerous if not infinite possible behaviors, and complex communications between components. Software testing ...