Combining model checking and testing with an application to reliability prediction and distribution. Gui, L., Sun, J., Liu, Y., Si, Y. J., Dong, J. S., & Wang, X. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA), pages 101-111, 2013.
Combining model checking and testing with an application to reliability prediction and distribution [link]Paper  Combining model checking and testing with an application to reliability prediction and distribution [pdf]Paper  bibtex   

Downloads: 0