Tatsuhiro Tsuchiya. Use of binary decision diagrams to handle constraints in combinatorial interaction testing. In IEEE International Conference on Software Testing, Verification and Validation, ICST 2024 - Workshops, Toronto, ON, Canada, May 27-31, 2024. pages 211-214, IEEE, 2024. [doi]
Abstract is missing.