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:
- Gherkin to Markdown converter☆34Updated this week
- Test Environment Booking tool☆14Nov 16, 2020Updated 5 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- My AddressSanitizer implementation in C☆29Jan 29, 2021Updated 5 years ago
- OpenTMI (Test Management Infrastructure) Core☆23Feb 12, 2026Updated 5 months 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.
- E2E, API and Visual Tests with Robot Framework, SeleniumLib, RequestsLib, EyesLib and FakerLib☆15Apr 24, 2024Updated 2 years ago
- ☆12May 8, 2017Updated 9 years ago
- Yet another implementation of TI C6x DSP simulator☆11Jan 16, 2014Updated 12 years ago
- Library for commenting things with violations from static code analysis.☆12Oct 7, 2025Updated 9 months ago
- 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 8 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- JUnit 5 examples in Kotlin☆12Jan 18, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 12 years ago
- robotframework-ride web in docker☆15May 12, 2017Updated 9 years ago
- Examples for NASAC 2019 interrupt race detection competition☆10Dec 4, 2019Updated 6 years ago
- FindBugs which is forked from official repository at Google code☆16Jun 1, 2015Updated 11 years ago
- API for working with Gherkin documents☆19Updated this week
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- Microservice for searching opponents and building game sessions☆13Sep 26, 2019Updated 6 years ago
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 11 years ago
- ☆11Jun 15, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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☆13Updated this week
- Language Server Index Format (LSIF) generator for JSonnet☆21Jul 3, 2026Updated 2 weeks ago
- A central Wiki for documentation and best practices☆15Oct 14, 2021Updated 4 years ago
- A mapping of Rust features and tooling to Python☆14Mar 2, 2026Updated 4 months ago
- A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.☆21Dec 21, 2018Updated 7 years ago
- Web based code browser using clang to provide basic code analysis.☆47Jul 20, 2017Updated 9 years ago
- Unison base libraries☆24Sep 25, 2025Updated 9 months ago
- KLEE with floating point support (unmaintained)☆21Feb 15, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Java bytecode generator for sound and precise partial program analysis☆25Jun 4, 2021Updated 5 years ago
- A small Gherkin DSL parser☆19Jun 7, 2024Updated 2 years ago
- Trace your GraphQL API with OpenTelemetry.☆13Sep 13, 2023Updated 2 years ago
- A set of scripts to download or build firecracker and run a firecracker micro-VM☆19Mar 22, 2020Updated 6 years ago
- AltWalker is an open source Model-Based Testing framework that supports running tests written in Python3 and .NET/C#.☆24Oct 27, 2025Updated 8 months ago
- Tool to automate issues creation directly from // TODO and // FIXME comments in your code☆11Oct 28, 2020Updated 5 years ago
- The Selenified Test Framework provides mechanisms for simply testing applications at multiple tiers while easily integrating into DevOps …☆42May 9, 2023Updated 3 years ago