Safety-Complete Test Suites

Wen-ling Huang, Jan Peleska 0001. Safety-Complete Test Suites. 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 145-161, Springer, 2017. [doi]

Abstract

Abstract is missing.