Masoumeh Taromirad, Mohammad Mousavi. Gray-Box Conformance Testing for Symbolic Reactive State Machines. Mehdi Dastani; Marjan Sirjani. 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. Springer Internat
HAL Archives-Ouvertes,
Masoumeh Taromirad, Mohammad Mousavi. Gray-Box Conformance Testing for Symbolic Reactive State Machines.