Search results

Strange casts in fuzzed Spring tests, sometimes leading to compilation errors

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

comp-springIssue is related to Spring projects support Issue is related to Spring projects support

ctg-bugIssue is a bug Issue is a bug

Status: Open.

#2722 In UnitTestBot/UTBotJava;

· EgorkaKulikov opened on Dec 14, 2023

Multiple time out tests are generated by fuzzer

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

comp-instrumented-processIssue is related to Instrumented process Issue is related to Instrumented process

ctg-bugIssue is a bug Issue is a bug

spec-regressionRegression Regression

Status: Open.

#2595 In UnitTestBot/UTBotJava;

· IlyaMuravjov opened on Sep 12, 2023

Introduce object creation using builders for fuzzers

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

ctg-enhancementNew feature, improvement or change request New feature, improvement or change request

Status: Open (in progress).

UnitTestBot/UTBotJavanumber 2583

#2583 In UnitTestBot/UTBotJava;

· Markoutte opened on Sep 8, 2023

Investigate transformation of Integration tests by Fuzzing into Unit tests

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

comp-instrumented-processIssue is related to Instrumented process Issue is related to Instrumented process

comp-springIssue is related to Spring projects support Issue is related to Spring projects support

ctg-enhancementNew feature, improvement or change request New feature, improvement or change request

Status: Open.

#2522 In UnitTestBot/UTBotJava;

· alisevych opened on Aug 16, 2023

Add --fuzzing-ratio to CLI

comp-cliIssue related to CLI Issue related to CLI

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

ctg-enhancementNew feature, improvement or change request New feature, improvement or change request

Status: Open (in progress).

UnitTestBot/UTBotJavanumber 2496

#2496 In UnitTestBot/UTBotJava;

· Markoutte opened on Aug 10, 2023

Java fuzzer can't create any values for types with no public constructor (e.g. <code>LocalDateTime</code>)

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

ctg-bugIssue is a bug Issue is a bug

lang-javaIssue is related to Java support Issue is related to Java support

Status: Open.

#2437 In UnitTestBot/UTBotJava;

· IlyaMuravjov opened on Jul 24, 2023

Fuzzer uses erased generic types when creating user defined types

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

ctg-bugIssue is a bug Issue is a bug

lang-javaIssue is related to Java support Issue is related to Java support

Status: Open.

#2432 In UnitTestBot/UTBotJava;

· IlyaMuravjov opened on Jul 20, 2023

Fuzzer cannot create any graphs of objects, other than trees, and fairly rarely reuses the same primitive values in different places

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

ctg-enhancementNew feature, improvement or change request New feature, improvement or change request

Status: Open.

#2429 In UnitTestBot/UTBotJava;

· IlyaMuravjov opened on Jul 20, 2023

Fuzzer can't generate values (even without any modifications) when there are some modifications it fails to use

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

ctg-bugIssue is a bug Issue is a bug

Status: Open.

#2428 In UnitTestBot/UTBotJava;

· IlyaMuravjov opened on Jul 20, 2023

Fuzzer doesn’t repeat same modifications multiple times

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

ctg-bugIssue is a bug Issue is a bug

Status: Open.

#2427 In UnitTestBot/UTBotJava;

· IlyaMuravjov opened on Jul 20, 2023

Slow test generation for matrix with constraints

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

comp-symbolic-engineIssue is related to the symbolic execution engine Issue is related to the symbolic execution engine

ctg-bugIssue is a bug Issue is a bug

lang-javaIssue is related to Java support Issue is related to Java support

Status: Open.

#2254 In UnitTestBot/UTBotJava;

· tochilinak opened on Jun 2, 2023

Test on Recursion generated by Fuzzer with int overflow should fail when <code>Treat overflows as errors</code>

comp-fuzzingIssue is related to the fuzzing Issue is related to the fuzzing

ctg-enhancementNew feature, improvement or change request New feature, improvement or change request

ctg-questionFurther information is requested Further information is requested

Status: Open.

#1379 In UnitTestBot/UTBotJava;

· alisevych opened on Nov 16, 2022