Skip to content

There is no approach to differ tests produced by Fuzzer and SymbolicExecutor #581

Closed
#583
Closed
There is no approach to differ tests produced by Fuzzer and SymbolicExecutor#581
#583
Assignees
amandelpie
Labels
comp-codegenIssue is related to code generatorcomp-fuzzingIssue is related to the fuzzingcomp-summariesSomething related to the method names, code comments and display names generation

Description

@amandelpie
amandelpie
opened on Jul 25, 2022

Description

At this moment there is no way to differ tests produced by Fuzzer and SymbolicExecutor

When we use Trace Summarization framework to generate cluster descriptions, we need a stable and good approach to differ these groups of tests.

The existing solution uses the heuristic with the empty path in UtExecution, but it's known that paths could be empty in tests produced by SymbolicExecutor

Activity

  1. amandelpie
    self-assigned this
    on Jul 25, 2022

  2. amandelpie commented on Jul 25, 2022

    @amandelpie
    amandelpie
    on Jul 25, 2022
    CollaboratorAuthor

    Related to the #428 quick fix

  3. amandelpie
    added
    comp-fuzzingIssue is related to the fuzzing
    on Jul 25, 2022
  4. korifey
    added this to UTBot Javaon Jul 25, 2022
  5. amandelpie
    added
    comp-codegenIssue is related to code generator
    on Jul 25, 2022
  6. korifey
    moved this to Todo in UTBot Javaon Jul 25, 2022
  7. amandelpie
    added
    comp-summariesSomething related to the method names, code comments and display names generation
    on Jul 25, 2022
  8. amandelpie
    added a commit that references this issue on Jul 26, 2022

    Added an approach to differ tests produced by Fuzzer and SymbolicExec…

    71611c3
  9. amandelpie
    closed this as completedin #583on Jul 26, 2022
  10. Repository owner moved this from Todo to Done in UTBot Javaon Jul 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

comp-codegenIssue is related to code generatorcomp-fuzzingIssue is related to the fuzzingcomp-summariesSomething related to the method names, code comments and display names generation

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions