Skip to content
@tracer-x

TracerX Research Group

Popular repositories Loading

  1. TracerX TracerX Public

    TracerX Symbolic Virtual Machine

    C 33 11

  2. TRACER TRACER Public

    TRACER Symbolic Execution Tool

    C 28 6

  3. TracerX-examples TracerX-examples Public

    Examples for TracerX KLEE

    C 9 6

  4. MCDC MCDC Public

    All the tools related to MC/DC test-case generation and adequacy checker are added here.

    LLVM 2 1

  5. tracer-x.github.io tracer-x.github.io Public

    Shell 1 1

  6. ILP ILP Public

    C 1

Repositories

Showing 7 of 7 repositories
  • TracerX Public

    TracerX Symbolic Virtual Machine

    tracer-x/TracerX’s past year of commit activity
    C 33 11 13 (1 issue needs help) 6 Updated Jan 23, 2025
  • tracer-x.github.io Public
    tracer-x/tracer-x.github.io’s past year of commit activity
    Shell 1 1 1 0 Updated Nov 14, 2024
  • ILP Public
    tracer-x/ILP’s past year of commit activity
    C 0 1 0 0 Updated Jul 1, 2021
  • TracerX-examples Public

    Examples for TracerX KLEE

    tracer-x/TracerX-examples’s past year of commit activity
    C 9 NCSA 6 0 0 Updated Jun 19, 2020
  • TRACER Public

    TRACER Symbolic Execution Tool

    tracer-x/TRACER’s past year of commit activity
    C 28 6 0 0 Updated Jun 16, 2020
  • PROGRAM-DATABASE-TEACHING Public
    tracer-x/PROGRAM-DATABASE-TEACHING’s past year of commit activity
    C 0 0 0 0 Updated Feb 19, 2020
  • MCDC Public

    All the tools related to MC/DC test-case generation and adequacy checker are added here.

    tracer-x/MCDC’s past year of commit activity
    LLVM 2 1 0 0 Updated Oct 22, 2018

Top languages

Loading…

Most used topics

Loading…