Skyfire is a Model-Based Testing (MBT) tool that generates Cucumber test scenarios from a UML behavioral diagram.
☆14Sep 27, 2016Updated 9 years ago
Alternatives and similar repositories for skyfire
Users that are interested in skyfire are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple way of working with localised page objects in Selenium☆15May 9, 2023Updated 3 years ago
- My AddressSanitizer implementation in C☆29Jan 29, 2021Updated 5 years ago
- OpenTMI (Test Management Infrastructure) Core☆23Feb 12, 2026Updated 7 months ago
- Custom Command and Control (C3). A framework for rapid prototyping of custom C2 channels, while still providing integration with existing…☆11Oct 6, 2020Updated 5 years ago
- Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing☆52Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- E2E, API and Visual Tests with Robot Framework, SeleniumLib, RequestsLib, EyesLib and FakerLib☆13Apr 24, 2024Updated 2 years ago
- Yet another implementation of TI C6x DSP simulator☆11Jan 16, 2014Updated 12 years ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 5 months ago
- Library for commenting things with violations from static code analysis.☆14Updated this week
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆27Sep 10, 2026Updated last week
- GCNO and GCDA parser and writer implementation in Dart☆14Feb 27, 2017Updated 9 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 11 years ago
- Artifact for the OOPSLA 17 DejaVu Paper☆10Jul 26, 2017Updated 9 years ago
- A vocabulary which represents the Supply Chain Operations Reference (SCOR) standard.☆11Jan 12, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Repository for the selophane project (see the README.md file for details)☆33Jan 16, 2022Updated 4 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- Simple Operator for IoTDB☆11Aug 29, 2021Updated 5 years ago
- VerveineJ is a tool to create a Moose (modularmoose.org) model from Java source code☆11Aug 13, 2026Updated last month
- Java library for parsing and manipulating graph representations of gate-level Verilog netlists☆15Jan 9, 2017Updated 9 years ago
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 12 years ago
- robotframework-ride web in docker☆15May 12, 2017Updated 9 years ago
- Forward-looking approach in process mining (using system dynamics and process mining to simulate business processes)☆12Feb 16, 2023Updated 3 years ago
- FindBugs which is forked from official repository at Google code☆16Jun 1, 2015Updated 11 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 simple proof of concept of storing content on TerminusDB for a CMS-like system.☆15Nov 23, 2020Updated 5 years ago
- ☆11Dec 3, 2020Updated 5 years ago
- ☆10Nov 6, 2021Updated 4 years ago
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- Reports tests that contain a high number of assertions☆10Mar 25, 2020Updated 6 years ago
- ☆13Sep 20, 2022Updated 4 years ago
- Source code for the upcoming Mountebank in Action book☆60Dec 7, 2022Updated 3 years ago
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 11 years ago
- Polymetric views of class metrics in the tradition of CodeCrawler reimplemented with D3.js.☆17Apr 29, 2014Updated 12 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.
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Github action to run Jest tests and automatically posts the results into your PR/commit☆11Aug 22, 2021Updated 5 years ago
- Estimates Automated☆14Updated this week
- A simple formatter/reporter for ESLint that's friendly with iterm2 "click to open file" functionality (works with Sublime Text and vscode…☆11Nov 27, 2023Updated 2 years ago
- Parse command line arguments by defining dataclasses☆14Aug 18, 2026Updated last month
- [READ ONLY] CMS-agnostic GraphQL server in PHP☆11Sep 7, 2026Updated last week
- a command line local Discogs client☆14Aug 1, 2021Updated 5 years ago