Andrade, W.D.L. and Machado, P.D. (2013) Generating Test Cases for Real-Time Systems Based on Symbolic Models. IEEE Transactions on Software Engineering, 39, 1216-1229. http://dx.doi.org/10.1109/TSE.2013.13
has been cited by the following article:
Related Articles: