Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik. Homing Sequence Derivation with Quantified Boolean Satisfiability. 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 230-242, Springer, 2017. [doi]
Abstract is missing.