PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
February 19, 2026ACM Transactions on Software Engineering and Methodology0 citations

SETBVE: Quality-Diversity Driven Exploration of Software Boundary Behaviors

View Full Paper
SASabinakhon AkbarovaFDFelix DobslawFNFrancisco Gomes de Oliveira Neto

Key Points

  • To develop SETBVE, a framework that enhances boundary value exploration using quality-diversity principles.
  • Introduced a customizable framework for black-box exploration of boundary behaviors.
  • Utilized quality-diversity optimization to explore underrepresented input-output pairs.
  • Maintained an archive of boundary pairs for systematic exploration and refinement.
  • Outperformed the baseline method in diversity, improving archive coverage by up to 90 percentage points.
  • Identified boundary candidates overlooked by the baseline.
  • Showed continuous improvement in diversity over prolonged exploration times.

Abstract

Software exhibits distinct behaviors based on input characteristics, and failures often occur at the boundaries between input domains. Traditional Boundary Value Analysis (BVA) relies on manual heuristics, while automated Boundary Value Exploration (BVE) methods typically optimize a single quality metric, risking a narrow and incomplete survey of boundary behaviors. We introduce SETBVE, a customizable, modular framework for automated black-box BVE that leverages Quality-Diversity (QD) optimization to systematically uncover and refine a broader spectrum of boundaries. SETBVE maintains an archive of boundary pairs organized by input- and output-based behavioral descriptors. It steers exploration toward underrepresented regions while preserving high-quality boundary pairs and applies local search to refine candidate boundaries. In experiments with 30 integer‐based functions, SETBVE outperforms the baseline in diversity, boosting archive coverage by up to 90 percentage points. A qualitative analysis reveals that SETBVE identifies boundary candidates the baseline misses. While the baseline method typically plateaus in both diversity and quality after 30 seconds, SETBVE continues to improve in 600-second runs. Even the simplest configurations of the SETBVE modules perform well in identifying diverse boundary behaviors. Our findings indicate that balancing quality with behavioral diversity can help identify more software edge-case behaviors than quality-focused approaches.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Akbarova et al. (2026) studied this question.

synapsesocial.com/papers/6996a798ecb39a600b3ed723https://doi.org/10.1145/3797890
Ask AI
Helpful
Bookmark
Share
View Full Paper