Pinned Repositories
ARIsTEO
AppRoxImation-based TEst generatiOn
ATUA
DICES
Dynamic adaptIve CongEstion control algorithm for SDN
FAQAS_MASS
HUDD-Toolset
Implementation of the Heatmap-based Unsupervised Debugging of DNNs (HUDD) toolset
ICPC-2018-Artifacts
This repository contains the datasets used for the evaluation of the tool MoLFI: https://github.com/SalmaMessaoudi/MoLFI.git
MoLFI
Multi-objective Log message Format Identification
SOCRaTEs
Simulink Oracles for CPS RequiremenTs with uncErtainty
ThEodorE
wikidominer
Wikipedia Domain-specific Miner
SNTSVV's Repositories
SNTSVV/MoLFI
Multi-objective Log message Format Identification
SNTSVV/ATUA
SNTSVV/HUDD-Toolset
Implementation of the Heatmap-based Unsupervised Debugging of DNNs (HUDD) toolset
SNTSVV/wikidominer
Wikipedia Domain-specific Miner
SNTSVV/DAMAT
DAMAT toolset
SNTSVV/MAANA
MAANA: An Automated Tool for DoMAin-specific HANdling of Ambiguity
SNTSVV/PRINS
PRINS: Scalable Model Inference for Component-based System Logs
SNTSVV/ThEodorE
SNTSVV/Anaphoric-Ambiguity
Multi-solution for detecting and resolving anaphoric ambiguity in requirements
SNTSVV/MOTIF
SNTSVV/QAssist
Question Answering Assistance for Improved Requirements Analysis
SNTSVV/SEDE
Implementation of the Simulator-based Explanations of DNN-Errors (SEDE) approach.
SNTSVV/SMRL_EclipsePlugin
SNTSVV/coreqqa
COREQQA - A COmpliance REQuirements Understanding using Question Answering Tool
SNTSVV/DAMAT_Tutorial
DAMAT_Tutorial
SNTSVV/DemaRQ
SNTSVV/OPAM
Optimal Priority Assignment Method
SNTSVV/Paska
SNTSVV/Extended-DM2-Instrumenter
SNTSVV/FuzzSDN
SNTSVV/icftl-diagnostics
SNTSVV/LAFF
SNTSVV/LogCleaner
SNTSVV/LogPrep
SNTSVV/Rimay
Rimay is controlled natural language for specifying functional requirements.
SNTSVV/SAFE
SNTSVV/SMRL
Metamorphic Security Testing for Web Systems
SNTSVV/SWEAK
SNTSVV/taphsir
Towards AnaPHoric Ambiguity Detection and ReSolution In Requirements
SNTSVV/TD-SB-TemPsy
TD-SB-TemPsy: a tool for trace diagnostic of signal-based temporal properties.