{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"DAMAT_Tutorial","owner":"SNTSVV","isFork":false,"description":"DAMAT_Tutorial","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T16:00:18.035Z"}},{"type":"Public","name":"icftl-diagnostics","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-11T14:30:31.111Z"}},{"type":"Public","name":"LAFF","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-26T18:01:09.273Z"}},{"type":"Public","name":"FuzzSDN","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T12:39:08.838Z"}},{"type":"Public","name":"Paska","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-05T14:41:33.283Z"}},{"type":"Public","name":"ThEodorE","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Xtend","color":"#24255d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-01T09:42:17.620Z"}},{"type":"Public","name":"MOTIF","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T13:58:20.580Z"}},{"type":"Public","name":"SMRL_EclipsePlugin","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-02T09:31:19.538Z"}},{"type":"Public","name":"ATUA","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-27T06:44:42.358Z"}},{"type":"Public","name":"SEDE","owner":"SNTSVV","isFork":false,"description":"Implementation of the Simulator-based Explanations of DNN-Errors (SEDE) approach.","allTopics":["software-engineering","autonomous-driving","software-testing","software-maintenance","software-debugging","search-based-software-engineering","machine-learning"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-17T09:49:45.526Z"}},{"type":"Public","name":"SWEAK","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Creative Commons Attribution 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-21T17:21:49.497Z"}},{"type":"Public","name":"wikidominer","owner":"SNTSVV","isFork":false,"description":"Wikipedia Domain-specific Miner","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-18T13:27:54.199Z"}},{"type":"Public","name":"Extended-DM2-Instrumenter","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-06T11:48:48.089Z"}},{"type":"Public","name":"Anaphoric-Ambiguity","owner":"SNTSVV","isFork":false,"description":"Multi-solution for detecting and resolving anaphoric ambiguity in requirements","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-10T14:50:49.441Z"}},{"type":"Public","name":"QAssist","owner":"SNTSVV","isFork":false,"description":"Question Answering Assistance for Improved Requirements Analysis ","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-10T13:49:54.358Z"}},{"type":"Public","name":"DemaRQ","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-05T14:56:00.817Z"}},{"type":"Public","name":"SMRL","owner":"SNTSVV","isFork":false,"description":"Metamorphic Security Testing for Web Systems","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-04T09:04:00.407Z"}},{"type":"Public","name":"TD-SB-TemPsy","owner":"SNTSVV","isFork":false,"description":"TD-SB-TemPsy: a tool for trace diagnostic of signal-based temporal properties.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-25T18:46:19.153Z"}},{"type":"Public","name":"PRINS","owner":"SNTSVV","isFork":false,"description":"PRINS: Scalable Model Inference for Component-based System Logs","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":1,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-12T21:40:10.339Z"}},{"type":"Public","name":"HUDD-Toolset","owner":"SNTSVV","isFork":false,"description":"Implementation of the Heatmap-based Unsupervised Debugging of DNNs (HUDD) toolset","allTopics":["artificial-intelligence","autonomous-driving","heatmaps","unsupervised-machine-learning","functional-safety","safety-critical-systems","root-cause-analysis","dnn-debugging","deep-learning"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-27T15:04:18.937Z"}},{"type":"Public","name":"taphsir","owner":"SNTSVV","isFork":false,"description":"Towards AnaPHoric Ambiguity Detection and ReSolution In Requirements","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-04T13:08:05.899Z"}},{"type":"Public","name":"coreqqa","owner":"SNTSVV","isFork":false,"description":"COREQQA - A COmpliance REQuirements Understanding using Question Answering Tool","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-04T12:42:21.491Z"}},{"type":"Public","name":"DAMAT","owner":"SNTSVV","isFork":false,"description":"DAMAT toolset","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-20T15:40:29.386Z"}},{"type":"Public","name":"Rimay","owner":"SNTSVV","isFork":false,"description":"Rimay is controlled natural language for specifying functional requirements.","allTopics":[],"primaryLanguage":{"name":"Xtend","color":"#24255d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-19T15:51:46.034Z"}},{"type":"Public","name":"OPAM","owner":"SNTSVV","isFork":false,"description":"Optimal Priority Assignment Method","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-30T09:13:56.908Z"}},{"type":"Public","name":"SAFE","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"R","color":"#198CE7"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-07T09:49:03.498Z"}},{"type":"Public","name":"MoLFI","owner":"SNTSVV","isFork":false,"description":"Multi-objective Log message Format Identification ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":30,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-05T15:09:36.592Z"}},{"type":"Public","name":"LogPrep","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-05T15:03:13.264Z"}},{"type":"Public","name":"LogCleaner","owner":"SNTSVV","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-05T15:01:14.508Z"}},{"type":"Public","name":"MAANA","owner":"SNTSVV","isFork":false,"description":"MAANA: An Automated Tool for DoMAin-specific HANdling of Ambiguity","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-05T13:34:04.498Z"}}],"repositoryCount":52,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}