sail-repos

Software Analysis and Intelligence Lab

Tianjin UniversityTianJin, China

Pinned Repositories

CFSynthesis
History-Driven Test Program Synthesis for JVM Testing
Language:Java00
JavaPruner
Language:Java20
LogTCP
Language:Python00
Map-Coverage
MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes
Language:Java11
NSFC-LaTex
Language:TeX00
PCR
Achieving High MAP-Coverage through Pattern Constraint Reduction
Language:Java30
PLELog
Implementation of PLELog in ICSE 2021 accepted paper:Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation.
Language:Python00
PRIMA
This is the implementation repository of our ICSE 2021 paper: Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis.
Language:Python72
TECCD_Java
Language:Java00

sail-repos's Repositories

sail-repos/PRIMA
This is the implementation repository of our ICSE 2021 paper: Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis.
Language:Python72
sail-repos/PCR
Achieving High MAP-Coverage through Pattern Constraint Reduction
Language:Java30
sail-repos/JavaPruner
Language:Java20
sail-repos/Map-Coverage
MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes
Language:Java11
sail-repos/CFSynthesis
History-Driven Test Program Synthesis for JVM Testing
Language:Java00
sail-repos/LogTCP
Language:Python00
sail-repos/NSFC-LaTex
Language:TeX00
sail-repos/PLELog
Implementation of PLELog in ICSE 2021 accepted paper:Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation.
Language:Python00
sail-repos/TECCD_Java
Language:Java00