Pinned Repositories
Mocket
TLA+ model checking guided testing for distributed systems
Grand
crashfuzz
Aritifact for ICSE'23 paper "Coverage Guided Fault Injection for Cloud Systems"
dqetool
Replication package for "Testing Database Systems via Differential Query Execution", accepted at ICSE 2023
Troc
Artifact for "Detecting Isolation Bugs via Transaction Oracle Construction"
DT2
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.
TXBug
Artifact for "Understanding Transaction Bugs in Database Systems"
cachecheck
Detect cache-related bugs in Spark applications.
PyEGo
PyEGo: environment dependency inference for Python programs
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
tcse-iscas/dqetool
Replication package for "Testing Database Systems via Differential Query Execution", accepted at ICSE 2023
tcse-iscas/Mocket
TLA+ model checking guided testing for distributed systems
tcse-iscas/TXBug
Artifact for "Understanding Transaction Bugs in Database Systems"
tcse-iscas/FaultFuzz
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"
tcse-iscas/crashfuzz
Aritifact for ICSE'23 paper "Coverage Guided Fault Injection for Cloud Systems"
tcse-iscas/RD2
RD2 for RDF-store differential testing.
tcse-iscas/DT2
tcse-iscas/iBugs
ISSTA'22 "Understanding Device Integration Bugs in Smart Home System"
tcse-iscas/Grand
tcse-iscas/WeBug
[ICSE'22] Characterizing and Detecting Bugs in WeChat Mini-Programs
tcse-iscas/PyEGo
PyEGo: environment dependency inference for Python programs
tcse-iscas/nrace
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.
tcse-iscas/cachecheck
Detect cache-related bugs in Spark applications.