STAB: Test basati su specifiche per colli di bottiglia algoritmici

Una nuova tecnica chiamata STAB crea casi di test mirati a rivelare limitazioni algoritmiche basandosi esclusivamente su una descrizione del problema in linguaggio naturale. Divide il processo in due componenti: massimizzazione vincolata e iniezione di strutture avversarie. Il saturatore di vincoli identifica i vincoli e determina le assegnazioni di dimensione attraverso saturazione basata su regole e ottimizzazione CP-SAT. Nel frattempo, l'iniettore di scenari avversari attinge a strategie di costruzione avversaria a livello di implementazione da un catalogo di scenari accuratamente curato. Questa strategia affronta condizioni strutturali di input che influenzano le prestazioni nel caso peggiore degli algoritmi, distinguendosi dai metodi precedenti che si limitano ad aumentare la dimensione dell'input o a produrre input specifici per il codice.