Article citationsMore>>
Constant, C., Jeron, T., Marchand, H. and Rusu, V. (2007) Integrating Formal Verification and Conformance Testing for Reactive Systems. IEEE Transactions on Software Engineering, 33, 558-574.
http://dx.doi.org/10.1109/TSE.2007.70707
has been cited by the following article:
Related Articles:
-
D. Subba Reddy, M. Bhaskar Reddy, N. Nanda Kumar Reddy, V. Rajagopal Reddy
-
Byungtae Jang, Alidu Abubakari, Namdae Kim
-
Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng
-
Richard Lai
-
Shagufta Shafiq, Nasir Mehmood Minhas