Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001, Robert Sachtleben. Complete Property-Oriented Module Testing. 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 183-201, Springer, 2023. [doi]
Abstract is missing.