All issues

Search results

[TS Calls][Research] Capture stopped-path frontiers for article experiments

Status: Open.

#373 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 23, 2026

[TS Calls] Audit and classify existing semantic approximations

Status: Open.

#368 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[TS Calls] Build a real-project call census and model roadmap

Status: Open.

#367 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[TS Calls] Execute semantic models written in TypeScript

Status: Open.

#366 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[TS Calls] Register and execute guarded semantic models

Status: Open.

#365 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[Epic][TS Calls] Introduce explicit fallback policies and partial semantic models

Status: Open.

#360 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[TS] Audit and formalize the type relations used by usvm-ts

enhancementNew feature or requestNew feature or request

Status: Open.

#359 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[TS PBT] Evaluate PBT and hybrid configurations on the benchmark

Status: Open.

Task

#357 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[TS PBT] Build a reproducible property benchmark and mutant corpus

Status: Open.

Task

#356 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[TS PBT] Evaluate runtime-derived PBT hints for symbolic search

Status: Open.

Task

#355 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[TS PBT] Assemble the end-to-end PBT and USVM pipeline

Status: Open.

Feature

#354 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026

[TS PBT] Replay and shrink USVM counterexamples through PBT backends

Status: Open.

Feature

#353 In UnitTestBot/usvm;

· CaelmBleidd opened on Aug 22, 2026