Niklas Krafczyk, Jan Peleska 0001. Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. In Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün, editors, Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. Volume 10533 of Lecture Notes in Computer Science, pages 38-53, Springer, 2017. [doi]
Abstract is missing.