Issues

• [TS PBT][Checkpoint] Validate the bounded core feedback loop and assess its research value

  Task

  UnitTestBot/usvm#405 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT][Research] Establish novelty and deliver the reproducible property-feedback paper

  Task

  UnitTestBot/usvm#404 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT] Challenge context-scoped observed function summaries during symbolic search

  Task

  UnitTestBot/usvm#403 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT] Reuse bounded command models and state invariants in hybrid search

  Task

  UnitTestBot/usvm#402 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT] Guide relational and metamorphic properties across multiple executions

  Task

  UnitTestBot/usvm#401 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT] Search bounded generator choices while preserving dependent input structure

  Task

  UnitTestBot/usvm#400 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT] Schedule assertion, coverage and hypothesis targets under one budget

  Task

  UnitTestBot/usvm#399 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT] Project observed relations and assertion goals into exact EtsIR bindings

  Task

  UnitTestBot/usvm#398 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT] Infer property-relevant relational hypotheses from PBT observations

  Task

  UnitTestBot/usvm#397 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT] Capture bounded property-scoped observations in original TypeScript

  Task

  UnitTestBot/usvm#396 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS PBT] Reuse user properties, assertion structure and generator semantics

  Task

  UnitTestBot/usvm#395 · Filter by author CaelmBleidd opened on Sep 30, 2026

• [TS] Support array growth and sparse slots

  Feature

  UnitTestBot/usvm#388 · Filter by author CaelmBleidd opened on Sep 18, 2026

• [TS PBT] Map c8/V8 branch coverage to EtsIR CFG edges

  UnitTestBot/usvm#382 · Filter by author CaelmBleidd opened on Sep 7, 2026

• [TS] Preserve fake values in symbolic reference-array reads

  Bug

  UnitTestBot/usvm#379 · Filter by author CaelmBleidd opened on Aug 28, 2026

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

  UnitTestBot/usvm#373 · Filter by author CaelmBleidd opened on Aug 23, 2026

• [TS Calls] Audit and classify existing semantic approximations

  UnitTestBot/usvm#368 · Filter by author CaelmBleidd opened on Aug 22, 2026

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

  UnitTestBot/usvm#367 · Filter by author CaelmBleidd opened on Aug 22, 2026

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

  UnitTestBot/usvm#360 · Filter by author CaelmBleidd opened on Aug 22, 2026

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

  enhancement
  UnitTestBot/usvm#359 · Filter by author CaelmBleidd opened on Aug 22, 2026

• [TS PBT] Evaluate causal contributions of property-aware feedback and bounded extensions

  Task

  UnitTestBot/usvm#357 · Filter by author CaelmBleidd opened on Aug 22, 2026

• [TS PBT] Build a property-rich development and held-out benchmark with validated faults

  Task

  UnitTestBot/usvm#356 · Filter by author CaelmBleidd opened on Aug 22, 2026

• [TS PBT] Integrate the core iterative property-observation feedback loop

  Task

  UnitTestBot/usvm#355 · Filter by author CaelmBleidd opened on Aug 22, 2026

• [TS PBT] Provide campaign controls, shared budgets and extensible run artifacts

  Feature

  UnitTestBot/usvm#354 · Filter by author CaelmBleidd opened on Aug 22, 2026

• [TS PBT] Confirm, classify and shrink symbolic property and hypothesis witnesses

  Feature

  UnitTestBot/usvm#353 · Filter by author CaelmBleidd opened on Aug 22, 2026

• [TS PBT] Search for property violations with USVM

  Feature

  UnitTestBot/usvm#352 · Filter by author CaelmBleidd opened on Aug 22, 2026