UnitTestBot: progetti open source

[TS] Support array growth and sparse slots Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100

UnitTestBot/usvm#388 · Aperta il 18/9/2026

[TS PBT][P0] Align and simplify property execution semantics before integration Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

UnitTestBot/usvm#384 · Aperta il 7/9/2026

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

UnitTestBot/usvm#382 · Aperta il 7/9/2026

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

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

UnitTestBot/usvm#379 · Aperta il 28/8/2026

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

UnitTestBot/usvm#373 · Aperta il 23/8/2026

[TS Calls] Audit and classify existing semantic approximations Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

UnitTestBot/usvm#368 · Aperta il 22/8/2026

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

UnitTestBot/usvm#367 · Aperta il 22/8/2026

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

UnitTestBot/usvm#360 · Aperta il 22/8/2026

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

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

UnitTestBot/usvm#359 · Aperta il 22/8/2026

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

UnitTestBot/usvm#357 · Aperta il 22/8/2026

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

UnitTestBot/usvm#356 · Aperta il 22/8/2026

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

UnitTestBot/usvm#355 · Aperta il 22/8/2026

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

UnitTestBot/usvm#354 · Aperta il 22/8/2026

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

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

UnitTestBot/usvm#353 · Aperta il 22/8/2026

[TS PBT] Search for property violations with USVM Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

UnitTestBot/usvm#352 · Aperta il 22/8/2026

[TS PBT] Project property domains and preconditions into USVM Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

UnitTestBot/usvm#351 · Aperta il 22/8/2026

[Epic][TS PBT] Integrate pluggable PBT engines with symbolic execution Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

UnitTestBot/usvm#345 · Aperta il 22/8/2026

[TS] Extract parts of TsState into specific data structures Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

UnitTestBot/usvm#319 · Aperta il 5/8/2025

[TS] Bug with add operator Aperta

UnitTestBot/usvm#310 · 1 reazione · 1 assegnatario · Aperta il 11/7/2025

Add fork limit option Aperta

UnitTestBot/usvm#301 · 1 assegnatario · Aperta il 3/7/2025

[TS] Support `push` invocation in `InstanceCallExpr` resolution Aperta

UnitTestBot/usvm#300 · 1 assegnatario · Aperta il 3/7/2025

[TS] Support cast expression Aperta

UnitTestBot/usvm#299 · 1 assegnatario · Aperta il 3/7/2025

[ts] Handle field ref that refer to the method Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

UnitTestBot/usvm#298 · Aperta il 2/7/2025

Use SMT formula satisfiability check caches Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

UnitTestBot/usvm#297 · 1 reazione · Aperta il 25/6/2025

[TS] Support new field declaration for instances Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

UnitTestBot/usvm#288 · Aperta il 6/6/2025

Add support for multidimensional arrays in ETS Aperta

UnitTestBot/usvm#287 · 1 assegnatario · Aperta il 6/6/2025

Incorrect objects transformation inside of TsBinaryOperator Aperta

UnitTestBot/usvm#281 · 1 assegnatario · Aperta il 22/5/2025

Incorrect mkNumericExpr implementation Aperta

UnitTestBot/usvm#280 · 1 assegnatario · Aperta il 22/5/2025

Feature request: add OMT (Optimization Modulo Theories) support Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

UnitTestBot/ksmt#164 · 1 reazione · Aperta il 2/12/2024

```checkType``` in ```TSMethodTestRunner``` is not implemented Aperta

UnitTestBot/usvm#203 · 1 assegnatario · Aperta il 6/8/2024

`resolveObject` fails with `IndexOutOfBoundsException` Aperta

bug

UnitTestBot/usvm#164 · 1 commento · 1 assegnatario · Aperta il 29/11/2023

Incorrect types in execution lead to compilation errors Aperta

bug

UnitTestBot/usvm#163 · 1 assegnatario · Aperta il 29/11/2023

JcStateResolver crashed with Unexpected ref Aperta

bug

UnitTestBot/usvm#162 · 1 assegnatario · Aperta il 28/11/2023

Multiple `lateinit property has not been initialized` exception during analysis Aperta

bug

UnitTestBot/usvm#161 · 1 assegnatario · Aperta il 28/11/2023

Instrumentation timed out on one of `spoon` classes and was killed Aperta

bug

UnitTestBot/usvm#156 · 2 commenti · 1 assegnatario · Aperta il 25/11/2023

One of generated test classes crashes gradle verification task Aperta

question

UnitTestBot/usvm#153 · 1 assegnatario · Aperta il 25/11/2023

Not decoded SymbolicList is present in UTest Aperta

bug

UnitTestBot/usvm#152 · 1 assegnatario · Aperta il 25/11/2023

Multiple timeouts during guava `Shorts` analysis Aperta

question

UnitTestBot/usvm#151 · 1 assegnatario · Aperta il 25/11/2023

Machine failed in `JcApplicationGraph.getTyped` Aperta

bug

UnitTestBot/usvm#150 · 2 commenti · 1 assegnatario · Aperta il 25/11/2023

Class is not found, possibly because it has not been decoded Aperta

bug

UnitTestBot/usvm#149 · 1 assegnatario · Aperta il 25/11/2023

Invalid `UTestCyclicReferenceDescriptor` Aperta

question

UnitTestBot/usvm#148 · 1 commento · 1 assegnatario · Aperta il 24/11/2023

ArrayStoreException in test executor Aperta

UnitTestBot/usvm#147 · 1 commento · 1 assegnatario · Aperta il 24/11/2023

Multiple `UTestExecutionInitFailedResult` without cause as a result of class analysis Aperta

bug

UnitTestBot/usvm#145 · 3 commenti · 1 assegnatario · Aperta il 24/11/2023

Compilation errors in generated times, possible reasoned by incorrect types resolving in machine Aperta

bug

UnitTestBot/usvm#144 · 1 assegnatario · Aperta il 23/11/2023

Duplicate class definition for name: "org/slf4j/impl/StaticLoggerBinder" Aperta

bug

UnitTestBot/usvm#135 · 1 commento · 1 assegnatario · Aperta il 22/11/2023

Instrumentation fails with thread death exception on `SparseImmutableTable` class Aperta

bug

UnitTestBot/usvm#131 · 1 assegnatario · Aperta il 22/11/2023

JcMachine failed with Trying cast not primitive type <> to primitive type <> Aperta

bug

UnitTestBot/usvm#122 · 1 assegnatario · Aperta il 20/11/2023

Multiple unexpected exception in instrumentation on a class from guava-26.0 Aperta

bug

UnitTestBot/usvm#121 · 1 commento · 1 assegnatario · Aperta il 20/11/2023

JcMachine failed with IllegalStateException: Unexpected type Aperta

bug

UnitTestBot/usvm#120 · 1 commento · 1 assegnatario · Aperta il 20/11/2023

UTestExpressionExecutor failed before methodUnderTest call on guava Throwables Aperta

bug

UnitTestBot/usvm#119 · 1 commento · 1 assegnatario · Aperta il 20/11/2023

UnitTestBot

Ricevi le nuove issue nella tua casella