Replication package for ESEC/FSE-2019 submission titled Diversity Web Test Generation
☆14Feb 13, 2025Updated last year
Alternatives and similar repositories for FSE19-submission-material-DIG
Users that are interested in FSE19-submission-material-DIG are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- QExplore is a dynamic automatic exploration tool for dynamic web applications. It reverse engineers a state-flow model that can be used t…☆13Mar 6, 2025Updated last year
- ☆25Jul 25, 2024Updated last year
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- pytest-inline is a pytest plugin for writing inline tests.☆19Dec 11, 2025Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆17Oct 9, 2023Updated 2 years ago
- Code for our 2023 IEEE S&P Paper "The Leaky Web: Automated Discovery of Cross-Site Information Leaks in Browsers and the Web"☆14Dec 12, 2024Updated last year
- Meta-repository for SnipPy☆17Nov 29, 2021Updated 4 years ago
- ☆14Dec 25, 2024Updated last year
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- Tests that check correctness of a single statement☆14Nov 25, 2024Updated last year
- Research material about software engineering at KTH☆18Mar 27, 2026Updated 3 weeks ago
- Graph-based Deep Q Network for Web Navigation☆48Jul 8, 2019Updated 6 years ago
- This folder container replication materials for the paper accepted☆12Sep 27, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Understanding JavaScript event-based interactions☆22Jun 19, 2015Updated 10 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- Yet another dapp☆11Jan 8, 2018Updated 8 years ago
- [ACL 2024] On the Multi-turn Instruction Following for Conversational Web Agents☆17Oct 12, 2024Updated last year
- ☆12Apr 21, 2024Updated last year
- ☆18Apr 9, 2024Updated 2 years ago
- Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch☆10Aug 7, 2024Updated last year
- A full stack framework to trace possible close-contact candidates within last specified days for an already detected covid-19 positive pa…☆12Apr 23, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A tool for finding CNAME of subdomains and checking clickjacking vulnerability.☆14Jun 15, 2025Updated 10 months ago
- create customized .onion addresses for your hidden service,make shallot and eschalot tools☆13Jan 18, 2022Updated 4 years ago
- MishformerLens intends to be a drop-in replacement for TransformerLens that AST patches HuggingFace Transformers rather than implementing…☆10Oct 7, 2024Updated last year
- Trains small LMs. Designed for training on SimpleStories☆13Sep 15, 2025Updated 7 months ago
- A powerful URL parameter and request fuzzing tool that processes URLs or Burp Suite raw requests, replacing values with custom payloads w…☆19Apr 12, 2026Updated last week
- A library for training crosscoders☆17May 28, 2025Updated 10 months ago
- 国科大疫情自动打卡脚本，根据上次提交记录生成本次提交记录，可选择账号密码登录或cookies登录。☆15Sep 6, 2022Updated 3 years ago
- Compiler Testing using Template Java Programs☆27Jan 15, 2024Updated 2 years ago
- Deep-GUI is a tool for generating intelligent inputs to test UI-based applications, such as Android or web applications.☆16May 22, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LLM play 20questions with itself☆13Mar 31, 2023Updated 3 years ago
- Fluent dreaming for language models☆13Jul 22, 2024Updated last year
- using transfer learning on a pre-trained CNN to build an Alpaca/Not Alpaca classifier!☆22Apr 29, 2021Updated 4 years ago
- ☆30Dec 11, 2024Updated last year
- Kart: A divide-and-conquer algorithm for NGS read mapping with high error tolerance☆26May 21, 2020Updated 5 years ago
- Instagram information gathering☆13Feb 6, 2023Updated 3 years ago
- Algorithm that converts an HTML to a vectorized object suitable for neural networks.☆14Nov 2, 2020Updated 5 years ago