SNTSVV's repositories
Language:PythonMIT000
DAMAT_Tutorial
DAMAT_Tutorial
Language:C000
Language:PythonApache-2.0000
Language:PythonNOASSERTION000
Language:JavaGPL-3.0000
Language:PythonApache-2.0000
Language:PythonCC-BY-4.0000
wikidominer
Wikipedia Domain-specific Miner
Language:KotlinGPL-3.0000
Anaphoric-Ambiguity
Multi-solution for detecting and resolving anaphoric ambiguity in requirements
Language:PythonMIT000
SMRL
Metamorphic Security Testing for Web Systems
000
TD-SB-TemPsy
TD-SB-TemPsy: a tool for trace diagnostic of signal-based temporal properties.
Language:JavaApache-2.0000
HUDD-Toolset
Implementation of the Heatmap-based Unsupervised Debugging of DNNs (HUDD) toolset
taphsir
Towards AnaPHoric Ambiguity Detection and ReSolution In Requirements
Language:PythonAGPL-3.0000
coreqqa
COREQQA - A COmpliance REQuirements Understanding using Question Answering Tool
Language:Jupyter NotebookMIT000
DAMAT
DAMAT toolset
Language:CNOASSERTION000
Rimay
Rimay is controlled natural language for specifying functional requirements.
Language:Xtend000
OPAM
Optimal Priority Assignment Method
Language:JavaGPL-2.0000
Language:RGPL-2.0000
Language:PythonMIT000
Language:PythonApache-2.0000