☆32Jun 12, 2023Updated 2 years ago
Alternatives and similar repositories for toga
Users that are interested in toga are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆156May 27, 2025Updated 10 months ago
- The library for symbolic interval☆22Jun 23, 2020Updated 5 years ago
- A DL compiler fuzzer☆15Nov 1, 2024Updated last year
- Mining tool and large-scale datasets of single statement bug fixes in Python☆19Nov 29, 2023Updated 2 years ago
- Artifact repository for the paper "Perfect Is the Enemy of Test Oracle", In Proceedings of The 30th ACM Joint European Software Engineeri…☆11May 4, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Dataset of Codex generated tests for the CodaMosa project☆16Jun 2, 2023Updated 2 years ago
- Stuff related to scraping the Code Review StackExchange☆12Jan 19, 2023Updated 3 years ago
- ☆20Jul 15, 2023Updated 2 years ago
- The RunBugRun dataset of executable bugs☆24Sep 24, 2025Updated 6 months ago
- The Infibench variant of bigcode-evaluation-harness --- a framework for the evaluation of autoregressive code generation language models.☆14Oct 19, 2024Updated last year
- repo for the paper titled “CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation”☆14Oct 4, 2023Updated 2 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- A curated list of software engineering research, data set, tool.☆32Dec 16, 2022Updated 3 years ago
- The official repo for GCP-CROWN paper☆13Sep 26, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- ☆18Apr 15, 2024Updated last year
- DeepInspect code release☆11Feb 11, 2020Updated 6 years ago
- Dataflow-guided retrieval augmentation for repository-level code completion, ACL 2024 (main)☆34Mar 24, 2025Updated last year
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆17Aug 20, 2025Updated 7 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Apr 1, 2024Updated 2 years ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆29Jun 16, 2024Updated last year
- MutAP: A prompt_based learning technique to automatically generate test cases with Large Language Model☆54Mar 7, 2025Updated last year
- JIGSAW is a fuzzing-based path constraint solver.☆69May 31, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆27Sep 7, 2023Updated 2 years ago
- ☆17Jul 2, 2018Updated 7 years ago
- Collections of research, benchmarks and tools towards more robust and reliable language models for code; LM4Code; LM4SE; reliable LLM; L…☆30Dec 14, 2023Updated 2 years ago
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Oct 21, 2024Updated last year
- ☆22Apr 21, 2023Updated 2 years ago
- ☆10Mar 20, 2020Updated 6 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Mar 30, 2024Updated 2 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- homepage for proFL☆23Apr 26, 2021Updated 4 years ago
- ☆14Jul 23, 2017Updated 8 years ago
- Real-time multi-language unit test generation tool via LSP☆36Updated this week
- Simple counting of bacterial colonies from pictures of plates.☆15Mar 5, 2021Updated 5 years ago
- Real time high precision network monitor☆10Feb 24, 2019Updated 7 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 5 years ago
- ☆12Sep 12, 2024Updated last year