UnitTestBot のオープンソースプロジェクト

[TS] Support array growth and sparse slots オープン

難易度 5/5 1週間以上初心者へのやさしさ 45/100

UnitTestBot/usvm#388 · 2026年9月18日に作成

[TS PBT][P0] Align and simplify property execution semantics before integration オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

UnitTestBot/usvm#384 · 2026年9月7日に作成

[TS PBT] Map c8/V8 branch coverage to EtsIR CFG edges オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

UnitTestBot/usvm#382 · 2026年9月7日に作成

[TS] Preserve fake values in symbolic reference-array reads オープン

難易度 4/5 3〜5日初心者へのやさしさ 48/100

UnitTestBot/usvm#379 · 2026年8月28日に作成

[TS Calls][Research] Capture stopped-path frontiers for article experiments オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

UnitTestBot/usvm#373 · 2026年8月23日に作成

[TS Calls] Audit and classify existing semantic approximations オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

UnitTestBot/usvm#368 · 2026年8月22日に作成

[TS Calls] Build a real-project call census and model roadmap オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

UnitTestBot/usvm#367 · 2026年8月22日に作成

[Epic][TS Calls] Introduce explicit fallback policies and partial semantic models オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

UnitTestBot/usvm#360 · 2026年8月22日に作成

[TS] Audit and formalize the type relations used by usvm-ts オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 30/100

UnitTestBot/usvm#359 · 2026年8月22日に作成

[TS PBT] Evaluate PBT and hybrid configurations on the benchmark オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

UnitTestBot/usvm#357 · 2026年8月22日に作成

[TS PBT] Build a reproducible property benchmark and mutant corpus オープン

難易度 5/5 1週間以上初心者へのやさしさ 30/100

UnitTestBot/usvm#356 · 2026年8月22日に作成

[TS PBT] Evaluate runtime-derived PBT hints for symbolic search オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

UnitTestBot/usvm#355 · 2026年8月22日に作成

[TS PBT] Assemble the end-to-end PBT and USVM pipeline オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

UnitTestBot/usvm#354 · 2026年8月22日に作成

[TS PBT] Replay and shrink USVM counterexamples through PBT backends オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

UnitTestBot/usvm#353 · 2026年8月22日に作成

[TS PBT] Search for property violations with USVM オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

UnitTestBot/usvm#352 · 2026年8月22日に作成

[TS PBT] Project property domains and preconditions into USVM オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

UnitTestBot/usvm#351 · 2026年8月22日に作成

[Epic][TS PBT] Integrate pluggable PBT engines with symbolic execution オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

UnitTestBot/usvm#345 · 2026年8月22日に作成

[TS] Extract parts of TsState into specific data structures オープン

難易度 5/5 1週間以上初心者へのやさしさ 30/100

UnitTestBot/usvm#319 · 2025年8月5日に作成

[TS] Bug with add operator オープン

UnitTestBot/usvm#310 · リアクション 1 件 · 担当者 1 名 · 2025年7月11日に作成

Add fork limit option オープン

UnitTestBot/usvm#301 · 担当者 1 名 · 2025年7月3日に作成

[TS] Support `push` invocation in `InstanceCallExpr` resolution オープン

UnitTestBot/usvm#300 · 担当者 1 名 · 2025年7月3日に作成

[TS] Support cast expression オープン

UnitTestBot/usvm#299 · 担当者 1 名 · 2025年7月3日に作成

[ts] Handle field ref that refer to the method オープン

難易度 3/5 1〜2日初心者へのやさしさ 45/100

UnitTestBot/usvm#298 · 2025年7月2日に作成

Use SMT formula satisfiability check caches オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 25/100

UnitTestBot/usvm#297 · リアクション 1 件 · 2025年6月25日に作成

[TS] Support new field declaration for instances オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

UnitTestBot/usvm#288 · 2025年6月6日に作成

Add support for multidimensional arrays in ETS オープン

UnitTestBot/usvm#287 · 担当者 1 名 · 2025年6月6日に作成

Incorrect objects transformation inside of TsBinaryOperator オープン

UnitTestBot/usvm#281 · 担当者 1 名 · 2025年5月22日に作成

Incorrect mkNumericExpr implementation オープン

UnitTestBot/usvm#280 · 担当者 1 名 · 2025年5月22日に作成

Feature request: add OMT (Optimization Modulo Theories) support オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

UnitTestBot/ksmt#164 · リアクション 1 件 · 2024年12月2日に作成

```checkType``` in ```TSMethodTestRunner``` is not implemented オープン

UnitTestBot/usvm#203 · 担当者 1 名 · 2024年8月6日に作成

`resolveObject` fails with `IndexOutOfBoundsException` オープン

bug

UnitTestBot/usvm#164 · コメント 1 件 · 担当者 1 名 · 2023年11月29日に作成

Incorrect types in execution lead to compilation errors オープン

bug

UnitTestBot/usvm#163 · 担当者 1 名 · 2023年11月29日に作成

JcStateResolver crashed with Unexpected ref オープン

bug

UnitTestBot/usvm#162 · 担当者 1 名 · 2023年11月28日に作成

Multiple `lateinit property has not been initialized` exception during analysis オープン

bug

UnitTestBot/usvm#161 · 担当者 1 名 · 2023年11月28日に作成

Instrumentation timed out on one of `spoon` classes and was killed オープン

bug

UnitTestBot/usvm#156 · コメント 2 件 · 担当者 1 名 · 2023年11月25日に作成

One of generated test classes crashes gradle verification task オープン

question

UnitTestBot/usvm#153 · 担当者 1 名 · 2023年11月25日に作成

Not decoded SymbolicList is present in UTest オープン

bug

UnitTestBot/usvm#152 · 担当者 1 名 · 2023年11月25日に作成

Multiple timeouts during guava `Shorts` analysis オープン

question

UnitTestBot/usvm#151 · 担当者 1 名 · 2023年11月25日に作成

Machine failed in `JcApplicationGraph.getTyped` オープン

bug

UnitTestBot/usvm#150 · コメント 2 件 · 担当者 1 名 · 2023年11月25日に作成

Class is not found, possibly because it has not been decoded オープン

bug

UnitTestBot/usvm#149 · 担当者 1 名 · 2023年11月25日に作成

Invalid `UTestCyclicReferenceDescriptor` オープン

question

UnitTestBot/usvm#148 · コメント 1 件 · 担当者 1 名 · 2023年11月24日に作成

ArrayStoreException in test executor オープン

UnitTestBot/usvm#147 · コメント 1 件 · 担当者 1 名 · 2023年11月24日に作成

Multiple `UTestExecutionInitFailedResult` without cause as a result of class analysis オープン

bug

UnitTestBot/usvm#145 · コメント 3 件 · 担当者 1 名 · 2023年11月24日に作成

Compilation errors in generated times, possible reasoned by incorrect types resolving in machine オープン

bug

UnitTestBot/usvm#144 · 担当者 1 名 · 2023年11月23日に作成

Duplicate class definition for name: "org/slf4j/impl/StaticLoggerBinder" オープン

bug

UnitTestBot/usvm#135 · コメント 1 件 · 担当者 1 名 · 2023年11月22日に作成

Instrumentation fails with thread death exception on `SparseImmutableTable` class オープン

bug

UnitTestBot/usvm#131 · 担当者 1 名 · 2023年11月22日に作成

JcMachine failed with Trying cast not primitive type <> to primitive type <> オープン

bug

UnitTestBot/usvm#122 · 担当者 1 名 · 2023年11月20日に作成

Multiple unexpected exception in instrumentation on a class from guava-26.0 オープン

bug

UnitTestBot/usvm#121 · コメント 1 件 · 担当者 1 名 · 2023年11月20日に作成

JcMachine failed with IllegalStateException: Unexpected type オープン

bug

UnitTestBot/usvm#120 · コメント 1 件 · 担当者 1 名 · 2023年11月20日に作成

UTestExpressionExecutor failed before methodUnderTest call on guava Throwables オープン

bug

UnitTestBot/usvm#119 · コメント 1 件 · 担当者 1 名 · 2023年11月20日に作成

UnitTestBot

新しい issue をメールで受け取る