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

This dataset contains boundary candidates generated using the SETBVE framework for automated boundary value exploration. The data covers 10 software under test (SUTs), each accepting integer inputs and varying in behavior. 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