{"payload":{"pageCount":4,"repositories":[{"type":"Public","name":"solidity-hack-labs","owner":"ASSERT-KTH","isFork":false,"description":"Repository to store our work on recreating attacks for smart contracts","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":8,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-05T10:12:53.761Z"}},{"type":"Public","name":"collector-sahab","owner":"ASSERT-KTH","isFork":false,"description":"Augmenting Diffs With Runtime Information, TSE 2023 <a href=\"http://arxiv.org/pdf/2212.11077\" rel=\"nofollow\">http://arxiv.org/pdf/2212.11077</a>","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":7,"issueCount":10,"starsCount":8,"forksCount":2,"license":"The Unlicense","participation":[1,2,3,5,4,4,7,0,5,0,2,7,4,3,2,3,1,2,1,2,0,1,1,5,0,0,2,3,4,5,2,0,3,2,3,0,3,3,2,1,3,3,3,4,1,2,0,0,2,6,6,14],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-04T19:25:44.551Z"}},{"type":"Public","name":"Vecogen","owner":"ASSERT-KTH","isFork":false,"description":"generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen)","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,24,9,7,7,5,9,9,3,6,18,9,12,6,6,9,14,7,5,6,5,0,4,1,0,0,2,1,1,0,0,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-03T21:07:22.447Z"}},{"type":"Public","name":"java-extractor","owner":"ASSERT-KTH","isFork":false,"description":"Code Extractor for Java","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,11,2,2,1,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-02T18:33:45.051Z"}},{"type":"Public","name":"sorald","owner":"ASSERT-KTH","isFork":false,"description":"Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 <a href=\"http://arxiv.org/pdf/2103.12033\" rel=\"nofollow\">http://arxiv.org/pdf/2103.12033</a>","allTopics":["sonarqube","program-repair","kth","ssf","sonarjava"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":12,"issueCount":50,"starsCount":89,"forksCount":27,"license":"MIT License","participation":[1,2,0,0,0,0,13,2,5,0,0,3,7,1,1,2,7,1,3,0,0,0,0,5,0,0,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-02T13:46:57.149Z"}},{"type":"Public","name":"Galapagos","owner":"ASSERT-KTH","isFork":false,"description":"N-version programming without humans <a href=\"https://arxiv.org/pdf/2408.09536\" rel=\"nofollow\">https://arxiv.org/pdf/2408.09536</a>","allTopics":[],"primaryLanguage":{"name":"LLVM","color":"#185619"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,3,0,0,0,0,0,1,2,0,0,0,2,1,3,2,2,2,0,0,0,0,0,0,0,2,0,0,0,0,2,1,2,5,0,2,2,3,0,0,0,0,2,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-01T15:43:31.572Z"}},{"type":"Public","name":"deptrim","owner":"ASSERT-KTH","isFork":false,"description":"DepTrim automatically specializes the software supply chain of dependencies in Maven projects <a href=\"https://arxiv.org/pdf/2302.08370\" rel=\"nofollow\">https://arxiv.org/pdf/2302.08370</a>","allTopics":["bytecode","maven-plugin","dependencies","specialization","java"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":10,"issueCount":1,"starsCount":12,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-30T17:05:42.969Z"}},{"type":"Public","name":"depclean","owner":"ASSERT-KTH","isFork":false,"description":"DepClean automatically detects and removes unused dependencies in Maven projects (<a href=\"https://dx.doi.org/10.1007/s10664-020-09914-8\" rel=\"nofollow\">https://dx.doi.org/10.1007/s10664-020-09914-8</a>)","allTopics":["bytecode","maven-plugin","dependencies","bloatware","debloating","java"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":6,"issueCount":9,"starsCount":241,"forksCount":28,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-30T14:01:34.116Z"}},{"type":"Public","name":"flacoco","owner":"ASSERT-KTH","isFork":false,"description":"FLACOCO: Fault Localization for Java based on Industry-grade Coverage <a href=\"http://arxiv.org/pdf/2111.12513\" rel=\"nofollow\">http://arxiv.org/pdf/2111.12513</a>","allTopics":["java","coverage","localization-tool","hacktoberfest","fault-localization"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":5,"issueCount":31,"starsCount":28,"forksCount":15,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-27T23:04:59.283Z"}},{"type":"Public","name":".github","owner":"ASSERT-KTH","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-19T06:12:59.269Z"}},{"type":"Public","name":"DepPrune","owner":"ASSERT-KTH","isFork":false,"description":"DepPrune is a tool to debloat npm dependencies through dynamic analysis.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-13T10:20:38.363Z"}},{"type":"Public","name":"defects4j","owner":"ASSERT-KTH","isFork":true,"description":"A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research","allTopics":[],"primaryLanguage":{"name":"Perl","color":"#0298c3"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":299,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-12T13:18:22.416Z"}},{"type":"Public","name":"software-engineering-research","owner":"ASSERT-KTH","isFork":false,"description":"Research material about software engineering at KTH","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":18,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-05T18:40:06.094Z"}},{"type":"Public","name":"pankti","owner":"ASSERT-KTH","isFork":false,"description":"Generating tests from production workloads <a href=\"http://arxiv.org/pdf/2012.01198\" rel=\"nofollow\">http://arxiv.org/pdf/2012.01198</a>","allTopics":["java","monitoring","software-testing","test-generation","rick-testing"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":7,"starsCount":15,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-09T09:53:00.427Z"}},{"type":"Public","name":"solgpt","owner":"ASSERT-KTH","isFork":true,"description":"Pipeline to get fixed Solidity smart contracts from ChatGPT","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T18:31:53.762Z"}},{"type":"Public","name":"rick-experiments","owner":"ASSERT-KTH","isFork":false,"description":"You know the rules and so do I ","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T10:07:54.336Z"}},{"type":"Public","name":"ralph","owner":"ASSERT-KTH","isFork":false,"description":"re-implementation of the Minos webassembly malware detector ","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-27T06:28:23.691Z"}},{"type":"Public","name":"spork","owner":"ASSERT-KTH","isFork":false,"description":"AST-based structured merge tool for Java, fully Git compatible <a href=\"https://doi.org/10.1109/TSE.2022.3143766\" rel=\"nofollow\">https://doi.org/10.1109/TSE.2022.3143766</a>","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":5,"issueCount":25,"starsCount":49,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-24T06:02:29.550Z"}},{"type":"Public","name":"proze","owner":"ASSERT-KTH","isFork":false,"description":"proze is short for PROduction + parameteriZE <a href=\"http://arxiv.org/pdf/2407.00768\" rel=\"nofollow\">http://arxiv.org/pdf/2407.00768</a>","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-21T15:47:11.634Z"}},{"type":"Public","name":"proze-experiments","owner":"ASSERT-KTH","isFork":false,"description":"Data and scripts for experiments with proze","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-21T15:36:08.885Z"}},{"type":"Public","name":"toady","owner":"ASSERT-KTH","isFork":false,"description":"research project about the importance of humor in science","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-19T14:40:47.584Z"}},{"type":"Public","name":"Duets","owner":"ASSERT-KTH","isFork":false,"description":"Duets is a dataset of 395 open-source Maven-based libraries and 2,874 clients <a href=\"https://ieeexplore.ieee.org/abstract/document/9463096\" rel=\"nofollow\">https://ieeexplore.ieee.org/abstract/document/9463096</a>","allTopics":["dataset"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T04:04:55.139Z"}},{"type":"Public","name":"Mokav","owner":"ASSERT-KTH","isFork":false,"description":"Generating difference exposing tests in Python","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T20:27:52.143Z"}},{"type":"Public","name":"repairllama","owner":"ASSERT-KTH","isFork":false,"description":"RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair","allTopics":["repair","llama","lora","apr","llms","codellama"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":26,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T12:42:14.119Z"}},{"type":"Public","name":"sGuard","owner":"ASSERT-KTH","isFork":true,"description":"SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T16:41:54.461Z"}},{"type":"Public","name":"cigar","owner":"ASSERT-KTH","isFork":false,"description":"Efficient APR with LLMs <a href=\"http://arxiv.org/pdf/2402.06598\" rel=\"nofollow\">http://arxiv.org/pdf/2402.06598</a>","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":10,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T16:01:57.448Z"}},{"type":"Public","name":"TIPS","owner":"ASSERT-KTH","isFork":true,"description":"TIPS: automatically repair the smart contracts with vulnerabilities","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T12:59:00.258Z"}},{"type":"Public","name":"assert-gold-mine","owner":"ASSERT-KTH","isFork":false,"description":"This is an informal repo for ASSERT teammates to share awesome stuff.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":2,"starsCount":19,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T17:15:42.544Z"}},{"type":"Public","name":"Smart-Contract-Dataset-Resource3","owner":"ASSERT-KTH","isFork":false,"description":"Githubification of <a href=\"https://drive.google.com/file/d/1iU2J-BIstCa3ooVhXu-GljOBzWi9gVrG/view\" rel=\"nofollow\">https://drive.google.com/file/d/1iU2J-BIstCa3ooVhXu-GljOBzWi9gVrG/view</a>","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T09:00:05.898Z"}},{"type":"Public","name":"ITER","owner":"ASSERT-KTH","isFork":false,"description":"ITER: Iterative Neural Repair for Multi-Location Patches, ICSE 2024, <a href=\"http://arxiv.org/pdf/2304.12015\" rel=\"nofollow\">http://arxiv.org/pdf/2304.12015</a>","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T17:30:23.559Z"}}],"repositoryCount":118,"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":"ASSERT-KTH repositories"}