Search results

Concrete execution fails during symbolic test generation for <code>ListAlgorithms</code>

comp-codegenIssue is related to code generatorIssue is related to code generator

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

ctg-bugIssue is a bugIssue is a bug

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

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

Status: Open.

#1886 In UnitTestBot/UTBotJava;

· tyuldashev opened on Mar 2, 2023

<code>Socket.connect</code> and <code>Files.readAllBytes</code> produce errors in Concrete execution

ctg-bugIssue is a bugIssue is a bug

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

Status: Open.

#1314 In UnitTestBot/UTBotJava;

· alisevych opened on Nov 7, 2022

Reflection with system classes is used to generate a Functional interface instance

comp-codegenIssue is related to code generatorIssue is related to code generator

ctg-bugIssue is a bugIssue is a bug

ctg-questionFurther information is requestedFurther information is requested

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

Status: Open.

#1041 In UnitTestBot/UTBotJava;

· tyuldashev opened on Sep 30, 2022

Instances of abstract classes and interfaces for fuzzing

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

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

Status: Open.

#416 In UnitTestBot/UTBotJava;

· denis-fokin opened on Jul 5, 2022

Class and object fields can provide more information for fuzzer

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

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

Status: Open.

#415 In UnitTestBot/UTBotJava;

· denis-fokin opened on Jul 5, 2022

Fuzzing in symbolic analyzing

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

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

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

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

Status: Open.

#217 In UnitTestBot/UTBotJava;

· SBOne-Kenobi opened on Jun 15, 2022

Android Studio: Android gradle plugin and JDKs

ctg-bugIssue is a bugIssue is a bug

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

status-help-wantedExtra attention is neededExtra attention is needed

Status: Open.

#154 In UnitTestBot/UTBotJava;

· nikitavlaev opened on Jun 6, 2022

Write proper toString implementation in UtHashMap

ctg-bugIssue is a bugIssue is a bug

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

spec-internalInternal issueInternal issue

spec-release-tailingsFailed to include in the current release, let's include it in the next oneFailed to include in the current release, let's include it in the next one

Status: Open.

#127 In UnitTestBot/UTBotJava;

· alexeyfridman opened on Jun 2, 2022

sun.misc.Unsafe in code generation

comp-codegenIssue is related to code generatorIssue is related to code generator

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

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

Status: Open.

#121 In UnitTestBot/UTBotJava;

· denis-fokin opened on Jun 2, 2022

Interlaced concolic

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

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

spec-internalInternal issueInternal issue

Status: Open.

#116 In UnitTestBot/UTBotJava;

· alexeyfridman opened on Jun 2, 2022

Concrete Executor ignores mocks in static initialization

ctg-bugIssue is a bugIssue is a bug

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

spec-internalInternal issueInternal issue

spec-release-tailingsFailed to include in the current release, let's include it in the next oneFailed to include in the current release, let's include it in the next one

Status: Open.

#95 In UnitTestBot/UTBotJava;

· alexeyfridman opened on Jun 1, 2022

The engine can not handle some JDK APIs，e.g., Date

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

ctg-bugIssue is a bugIssue is a bug

priority-top-focusTop priority chosen by dev teamTop priority chosen by dev team

spec-release-tailingsFailed to include in the current release, let's include it in the next oneFailed to include in the current release, let's include it in the next one

Status: Open.

#94 In UnitTestBot/UTBotJava;

· alexeyfridman opened on Jun 1, 2022