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

    C 33 11 13 (1 issue needs help) 6 Updated Mar 22, 2025
  • tracer-x.github.io Public
    Shell 1 1 1 0 Updated Nov 14, 2024
  • ILP Public
    C 0 1 0 0 Updated Jul 1, 2021
  • TracerX-examples Public

    Examples for TracerX KLEE

    C 9 NCSA 6 0 0 Updated Jun 19, 2020
  • TRACER Public

    TRACER Symbolic Execution Tool

    C 28 6 0 0 Updated Jun 16, 2020
  • PROGRAM-DATABASE-TEACHING Public
    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.

    LLVM 2 1 0 0 Updated Oct 22, 2018

Top languages

Loading…

Most used topics

Loading…