Li Huang, Bertrand Meyer 0001, Manuel Oriol. Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. In Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi, editors, Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings. Volume 14131 of Lecture Notes in Computer Science, pages 52-70, Springer, 2023. [doi]
Abstract is missing.