SNTSVV

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

SMRL_Library

SOCRaTEs

Simulink Oracles for CPS RequiremenTs with uncErtainty

UMTG

UMTG

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/ThEodorE

SNTSVV/PRINS

PRINS: Scalable Model Inference for Component-based System Logs

SNTSVV/SEDE

Implementation of the Simulator-based Explanations of DNN-Errors (SEDE) approach.

SNTSVV/SMRL_EclipsePlugin

SNTSVV/wikidominer

Wikipedia Domain-specific Miner

SNTSVV/Anaphoric-Ambiguity

Multi-solution for detecting and resolving anaphoric ambiguity in requirements

SNTSVV/coreqqa

COREQQA - A COmpliance REQuirements Understanding using Question Answering Tool

SNTSVV/DAMAT

DAMAT toolset

SNTSVV/DAMAT_Tutorial

DAMAT_Tutorial

SNTSVV/DemaRQ

SNTSVV/Extended-DM2-Instrumenter

SNTSVV/FuzzSDN

SNTSVV/icftl-diagnostics

SNTSVV/LAFF

SNTSVV/LogCleaner

SNTSVV/LogPrep

SNTSVV/MAANA

MAANA: An Automated Tool for DoMAin-specific HANdling of Ambiguity

SNTSVV/MOTIF

SNTSVV/OPAM

Optimal Priority Assignment Method

SNTSVV/Paska

SNTSVV/QAssist

Question Answering Assistance for Improved Requirements Analysis

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.