Boundary Candidates Generated by the SETBVE Framework for Integer-Input FUTs

This dataset contains boundary candidates generated using the SETBVE framework for automated boundary value exploration. The data covers 30 functions under test (FUTs), each accepting integer inputs and varying in behavior (and a FUT with an array input in Python, Java and Julia). The boundary candidates were discovered by SETBVE’s search process, which applies Quality-Diversity (QD) optimization to uncover input pairs that highlight behavioral transitions in the tested programs. For implementation details and replication instructions, please refer to the GitHub repository: https://github.com/aksabina/SETBVE/tree/main