Skip to content

@SNTSVV SNTSVV

Change the repository type filter

All

    Repositories list

    52 repositories

    • PRINS

      Public
      PRINS: Scalable Model Inference for Component-based System Logs
      Python
      •
      GNU General Public License v3.0
      •3•1•1•1•Updated Aug 20, 2024Aug 20, 2024

    • LAFF

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Jun 24, 2024Jun 24, 2024

    • DAMAT_Tutorial

      Public
      DAMAT_Tutorial
      C
      •0•0•0•0•Updated May 29, 2024May 29, 2024

    • icftl-diagnostics

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 11, 2024Apr 11, 2024

    • FuzzSDN

      Public
      Python
      •
      Other
      •0•0•0•0•Updated Feb 12, 2024Feb 12, 2024

    • Paska

      Public
      Java
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Feb 5, 2024Feb 5, 2024

    • ThEodorE

      Public
      Xtend
      •
      Apache License 2.0
      •1•2•0•0•Updated Nov 1, 2023Nov 1, 2023

    • MOTIF

      Public
      Python
      •
      Apache License 2.0
      •1•1•0•0•Updated Oct 25, 2023Oct 25, 2023

    • SMRL_EclipsePlugin

      Public
      Java
      •0•1•0•0•Updated Aug 2, 2023Aug 2, 2023

    • ATUA

      Public
      Kotlin
      •
      GNU General Public License v3.0
      •3•7•0•0•Updated Jul 27, 2023Jul 27, 2023

    • SEDE

      Public
      Implementation of the Simulator-based Explanations of DNN-Errors (SEDE) approach.
      software-engineeringautonomous-drivingsoftware-testingsoftware-maintenancesoftware-debuggingsearch-based-software-engineeringmachine-learning
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Jul 17, 2023Jul 17, 2023

    • SWEAK

      Public
      Python
      •
      Creative Commons Attribution 4.0 International
      •1•0•0•0•Updated Jun 21, 2023Jun 21, 2023

    • wikidominer

      Public
      Wikipedia Domain-specific Miner
      Jupyter Notebook
      •
      MIT License
      •1•2•0•1•Updated Jun 18, 2023Jun 18, 2023

    • Extended-DM2-Instrumenter

      Public
      Kotlin
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 6, 2023Jun 6, 2023

    • Anaphoric-Ambiguity

      Public
      Multi-solution for detecting and resolving anaphoric ambiguity in requirements
      Jupyter Notebook
      •
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated May 10, 2023May 10, 2023

    • QAssist

      Public
      Question Answering Assistance for Improved Requirements Analysis
      Jupyter Notebook
      •
      MIT License
      •0•1•0•0•Updated May 10, 2023May 10, 2023

    • DemaRQ

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated May 5, 2023May 5, 2023

    • SMRL

      Public
      Metamorphic Security Testing for Web Systems
      0•0•0•0•Updated Apr 4, 2023Apr 4, 2023

    • TD-SB-TemPsy

      Public
      TD-SB-TemPsy: a tool for trace diagnostic of signal-based temporal properties.
      Java
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 25, 2023Jan 25, 2023

    • HUDD-Toolset

      Public
      Implementation of the Heatmap-based Unsupervised Debugging of DNNs (HUDD) toolset
      artificial-intelligenceautonomous-drivingheatmapsunsupervised-machine-learningfunctional-safetysafety-critical-systemsroot-cause-analysisdnn-debuggingdeep-learning
      Python
      •
      Apache License 2.0
      •1•5•0•0•Updated Oct 27, 2022Oct 27, 2022

    • taphsir

      Public
      Towards AnaPHoric Ambiguity Detection and ReSolution In Requirements
      Python
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated Oct 4, 2022Oct 4, 2022

    • coreqqa

      Public
      COREQQA - A COmpliance REQuirements Understanding using Question Answering Tool
      Jupyter Notebook
      •
      MIT License
      •0•0•0•0•Updated Oct 4, 2022Oct 4, 2022

    • DAMAT

      Public
      DAMAT toolset
      C
      •
      Other
      •0•2•0•0•Updated Sep 20, 2022Sep 20, 2022

    • Rimay

      Public
      Rimay is controlled natural language for specifying functional requirements.
      Xtend
      •0•0•0•0•Updated Sep 19, 2022Sep 19, 2022

    • OPAM

      Public
      Optimal Priority Assignment Method
      Java
      •
      GNU General Public License v2.0
      •2•0•0•0•Updated Jul 30, 2022Jul 30, 2022

    • SAFE

      Public
      R
      •
      GNU General Public License v2.0
      •1•0•0•0•Updated Jul 7, 2022Jul 7, 2022

    • MoLFI

      Public
      Multi-objective Log message Format Identification
      Python
      •
      Apache License 2.0
      •8•30•1•0•Updated Jul 5, 2022Jul 5, 2022

    • LogPrep

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Jul 5, 2022Jul 5, 2022

    • LogCleaner

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 5, 2022Jul 5, 2022

    • MAANA

      Public
      MAANA: An Automated Tool for DoMAin-specific HANdling of Ambiguity
      MIT License
      •1•1•0•0•Updated Jul 5, 2022Jul 5, 2022