GitHub · Where software is built

Labels Milestones New issue

Fuzzer ignores generics of <code>class StringMap extends HashMap<String, String></code>

#2571

· IlyaMuravjov opened

on Aug 31, 2023

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

#2437

· IlyaMuravjov opened

on Jul 24, 2023

Fuzzer uses erased generic types when creating user defined types

#2432

· IlyaMuravjov opened

on Jul 20, 2023

Bad coverage for simple example with loop

comp-symbolic-engine

#2304

· tochilinak opened

on Jun 22, 2023

Timeout tests are sometimes generated by Fuzzing for simple functions

comp-instrumented-process

spec-false-positive

#2262

· alisevych opened

on Jun 6, 2023

Slow test generation for matrix with constraints

comp-symbolic-engine

#2254

· tochilinak opened

on Jun 2, 2023

<code>NoSuchElementException: Collection contains no element matching the predicate</code>

#2043

· tyuldashev opened

on Mar 24, 2023

Implement test set for java fuzzing with new fuzzing platform

ctg-enhancement

#2004

· Markoutte opened

on Mar 22, 2023

Unused import of <code>java.net.UnknownHostException</code>

#1999

· alisevych opened

on Mar 21, 2023

import JUnit5 @Timeout is missing

#1982

· alisevych opened

on Mar 20, 2023

Create only required methods in UtUtils class

ctg-enhancement

#1924

· EgorkaKulikov opened

on Mar 10, 2023

<code>Timeout 0 ms</code> on Problems view for a Successful symbolic execution

comp-symbolic-engine

#1917

· alisevych opened

on Mar 9, 2023