Article citationsMore>>
Tretmans, J. (2008) Model Based Testing with Labelled Transition Systems. In: Hierons, R.M., Bowen, J.P. and Harman, M., Eds., Formal Methods and Testing, Lecture Notes in Computer Science, Vol. 4949, Springer, Berlin, 1-38.
http://dx.doi.org/10.1007/978-3-540-78917-8_1
has been cited by the following article:
Related Articles:
-
Khalid Benlhachmi, Mohammed Benattou
-
Samad Paydar, Mohsen Kahani
-
Ronald Waliaula Wanyonyi, Olivia Wanjeri Mwangi, Charles Wambugu Mwangi
-
Xaveria Youh Djam, Yisa Henry Kimbi
-
Jin-Long Su, Ping-Song Zhang, Rong-Xin Wu