{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"BeDivFuzz","owner":"hub-se","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":2,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-12T12:57:52.084Z"}},{"type":"Public","name":"BugLoRD","owner":"hub-se","isFork":false,"description":"A toolkit for \"Bug Location and Repair of Defects\".","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-13T10:28:41.274Z"}},{"type":"Public","name":"fuzzingcmscodeparsers","owner":"hub-se","isFork":false,"description":"Grammar-based Fuzzing of Data Integration Parsers in Computational Materials Science","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-20T10:26:26.237Z"}},{"type":"Public","name":"PAP","owner":"hub-se","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-14T01:54:44.291Z"}},{"type":"Public","name":"HUB-SE-framework","owner":"hub-se","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-09T13:00:48.751Z"}},{"type":"Public","name":"PSP-UPPAAL","owner":"hub-se","isFork":false,"description":"Property Specification Patterns for UPPAAL","allTopics":["verification","specification-pattern","model-checking","uppaal"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-16T09:23:50.143Z"}},{"type":"Public","name":"visual-trace-debugger","owner":"hub-se","isFork":false,"description":"IntelliJ plugin that provides navigable views of execution traces, supported by (simple) automated fault localization.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-07T13:33:39.459Z"}},{"type":"Public","name":"MoFuzz","owner":"hub-se","isFork":false,"description":"A fuzzer suite for testing model-driven software engineering tools","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-08T21:59:47.439Z"}},{"type":"Public","name":"intellij-coverage","owner":"hub-se","isFork":true,"description":"IntelliJ IDEA code coverage agent","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":36,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-26T15:51:24.768Z"}},{"type":"Public","name":"jpf-shadow-plus","owner":"hub-se","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-06T14:10:37.461Z"}},{"type":"Public","name":"jpf-shadow","owner":"hub-se","isFork":false,"description":"JPF extension for shadow symbolic execution.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-11T08:08:03.756Z"}},{"type":"Public","name":"astor","owner":"hub-se","isFork":true,"description":"automatic program repair for Java with generate-and-validate techniques: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":106,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-04T14:58:32.577Z"}},{"type":"Public","name":"soot","owner":"hub-se","isFork":true,"description":"Soot - A Java optimization framework","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":705,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-06T07:57:47.869Z"}}],"repositoryCount":13,"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":"hub-se repositories"}