tcse-iscas

Pinned Repositories

Mocket
TLA+ model checking guided testing for distributed systems
Language:Java152
Grand
Language:Java82
crashfuzz
Aritifact for ICSE'23 paper "Coverage Guided Fault Injection for Cloud Systems"
Language:Java51
dqetool
Replication package for "Testing Database Systems via Differential Query Execution", accepted at ICSE 2023
Language:Java31
Troc
Artifact for "Detecting Isolation Bugs via Transaction Oracle Construction"
Language:Java31
DT2
Language:Java30
Tasi
This is the dataset of our ISSTA 2021 paper: Semantic Table Structure Identification in Spreadsheets. This repo includes two dataset: table structure dataset and spreadsheet error dataset.
Language:C#20
TXBug
Artifact for "Understanding Transaction Bugs in Database Systems"
20
cachecheck
Detect cache-related bugs in Spark applications.
Language:Java11
PyEGo
PyEGo: environment dependency inference for Python programs
Language:Python10

tcse-iscas's Repositories

tcse-iscas/DOT
tcse-iscas/radar
Replication package for "Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction", accepted at VLDB 2024
Language:Java1
tcse-iscas/dqetool
Replication package for "Testing Database Systems via Differential Query Execution", accepted at ICSE 2023
Language:Java31
tcse-iscas/Mocket
TLA+ model checking guided testing for distributed systems
Language:Java152
tcse-iscas/TXBug
Artifact for "Understanding Transaction Bugs in Database Systems"
2
tcse-iscas/FaultFuzz
Language:Java
tcse-iscas/KnowDetector
[ASE`23] Detecting Smart Home Automation Application Interference with Domain Knowledge
tcse-iscas/Troc
Artifact for "Detecting Isolation Bugs via Transaction Oracle Construction"
Language:Java31
tcse-iscas/crashfuzz
Aritifact for ICSE'23 paper "Coverage Guided Fault Injection for Cloud Systems"
Language:Java51
tcse-iscas/RD2
RD2 for RDF-store differential testing.
Language:Java1
tcse-iscas/DT2
3
tcse-iscas/iBugs
ISSTA'22 "Understanding Device Integration Bugs in Smart Home System"
1
tcse-iscas/Grand
82
tcse-iscas/WeBug
[ICSE'22] Characterizing and Detecting Bugs in WeChat Mini-Programs
Language:JavaScript
tcse-iscas/PyEGo
PyEGo: environment dependency inference for Python programs
1
tcse-iscas/nrace
11
tcse-iscas/Tasi
This is the dataset of our ISSTA 2021 paper: Semantic Table Structure Identification in Spreadsheets. This repo includes two dataset: table structure dataset and spreadsheet error dataset.
Language:C#2
tcse-iscas/cachecheck
Detect cache-related bugs in Spark applications.
11