Skip to content
@tcse-iscas

tcse-iscas

Popular repositories Loading

  1. Mocket Mocket Public

    Forked from Icysandwich/Mocket

    TLA+ model checking guided testing for distributed systems

    Java 14 2

  2. Grand Grand Public

    Forked from choeoe/Grand

    Java 8 2

  3. crashfuzz crashfuzz Public

    Forked from yu-wch/crashfuzz

    Aritifact for ICSE'23 paper "Coverage Guided Fault Injection for Cloud Systems"

    Java 5

  4. DT2 DT2 Public

    Forked from criszy/DT2

    Java 3

  5. Troc Troc Public

    Forked from criszy/Troc

    Artifact for "Detecting Isolation Bugs via Transaction Oracle Construction"

    Java 3 1

  6. dqetool dqetool Public

    Forked from JensonSung/dqetool

    Replication package for "Testing Database Systems via Differential Query Execution", accepted at ICSE 2023

    Java 3 1

Repositories

Showing 10 of 18 repositories
  • DOT Public Forked from zhengyingying/DOT
    tcse-iscas/DOT’s past year of commit activity
    Java 0 1 0 0 Updated May 27, 2024
  • radar Public Forked from JensonSung/radar

    Replication package for "Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction", accepted at VLDB 2024

    tcse-iscas/radar’s past year of commit activity
    Java 1 1 0 0 Updated Apr 23, 2024
  • dqetool Public Forked from JensonSung/dqetool

    Replication package for "Testing Database Systems via Differential Query Execution", accepted at ICSE 2023

    tcse-iscas/dqetool’s past year of commit activity
    Java 3 2 0 0 Updated Apr 23, 2024
  • Mocket Public Forked from Icysandwich/Mocket

    TLA+ model checking guided testing for distributed systems

    tcse-iscas/Mocket’s past year of commit activity
    Java 14 MIT 3 0 0 Updated Feb 12, 2024
  • TXBug Public Forked from criszy/TXBug

    Artifact for "Understanding Transaction Bugs in Database Systems"

    tcse-iscas/TXBug’s past year of commit activity
    2 1 0 0 Updated Jan 11, 2024
  • FaultFuzz Public Forked from fwhdzh/FaultFuzz
    tcse-iscas/FaultFuzz’s past year of commit activity
    Java 0 1 0 0 Updated Nov 2, 2023
  • KnowDetector Public Forked from tao2years/KnowDetector

    [ASE`23] Detecting Smart Home Automation Application Interference with Domain Knowledge

    tcse-iscas/KnowDetector’s past year of commit activity
    Java 0 1 0 0 Updated Aug 10, 2023
  • Troc Public Forked from criszy/Troc

    Artifact for "Detecting Isolation Bugs via Transaction Oracle Construction"

    tcse-iscas/Troc’s past year of commit activity
    Java 3 MIT 2 0 0 Updated Feb 17, 2023
  • crashfuzz Public Forked from yu-wch/crashfuzz

    Aritifact for ICSE'23 paper "Coverage Guided Fault Injection for Cloud Systems"

    tcse-iscas/crashfuzz’s past year of commit activity
    Java 5 1 0 0 Updated Feb 13, 2023
  • RD2 Public Forked from choeoe/RD2

    RD2 for RDF-store differential testing.

    tcse-iscas/RD2’s past year of commit activity
    Java 1 1 0 0 Updated Feb 11, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…