Web-based Modeling and Test-Generation Tool
☆10Oct 30, 2019Updated 6 years ago
Alternatives and similar repositories for specmate
Users that are interested in specmate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 使用OpenCV+Tensorflow实现游戏中车辆的自动驾驶☆11Dec 12, 2018Updated 7 years ago
- Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".☆13Oct 12, 2018Updated 7 years ago
- Context-Aware Correlation Filter Layer☆14Jul 26, 2019Updated 6 years ago
- imooc--<轻松学会Laravel-表单篇>☆12Nov 17, 2016Updated 9 years ago
- 仿网易云音乐，包含管理端（admin 页面）☆10Mar 2, 2018Updated 8 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.
- Slides and sample code from my talk "Infastructure as Code - Muss man nicht testen, Hauptsache es läuft"☆11Jan 16, 2026Updated 2 months ago
- Examples for using Web Components in Angular☆19Jan 4, 2023Updated 3 years ago
- Signet is an open protocol for agent identity, knowledge, and trust. It defines how an agent should persist across sessions, learn from i…☆84Updated this week
- Simple command line tool to convert JSON to YAML☆12Jun 24, 2023Updated 2 years ago
- ABAP Code Syntax Highlighter ( Extension of PrismJS )☆11Jul 10, 2015Updated 10 years ago
- Learning Attentions: Residual Attentional Siamese Network for High Performance Online Visual Tracking☆17Jul 19, 2019Updated 6 years ago
- Source code for Quarkus Workshop☆14Jan 26, 2026Updated 2 months ago
- CNode社区，Vue + TypeScript + TSX实现☆16Mar 4, 2023Updated 3 years ago
- Collect Apple ID's straight from Apple's Login Form☆21Mar 15, 2017Updated 9 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.
- Back up the local pacman database when it changes☆18Apr 12, 2019Updated 6 years ago
- allows to document a complex, distributed model in an easy, concise and project-/domain-specific way.☆20Jan 22, 2020Updated 6 years ago
- A collaborative, real-time feature model editor☆10Nov 27, 2023Updated 2 years ago
- Data validation and processing code for analysis of collected temperature data☆14Aug 11, 2017Updated 8 years ago
- A comprehensive guide to discovering unsecured webcams using Google and Shodan dorks, with ethical guidelines and legal considerations.☆25Aug 6, 2024Updated last year
- 思维导图 xmind 转换为 excel 测试用例☆21Apr 2, 2020Updated 6 years ago
- SAP CAP Apps Data Backup☆16Mar 13, 2026Updated 3 weeks ago
- A model for storing Clojure data in RDF stores☆41Sep 10, 2009Updated 16 years ago
- A Lisp Interpreter written in ABAP☆11Jul 9, 2015Updated 10 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.
- Python re-implementation of the graphwalker testing tool☆91Nov 26, 2015Updated 10 years ago
- ☆11Sep 21, 2017Updated 8 years ago
- trash Team made trash game, good job 1939, kards外挂，排位、竞技场一键秒赢，快速升级☆45Jan 21, 2026Updated 2 months ago
- Shows keyboard shortcuts that the user has pressed in Eclipse☆10Feb 23, 2019Updated 7 years ago
- Companion to textbook "Decision Support Systems: Introduction to Data Science with Applications"☆26Sep 21, 2022Updated 3 years ago
- 技术栈：后端koa+graphql+mongoDB，前端react hooks + apollo + antd (ts)☆23Jun 16, 2020Updated 5 years ago
- 该工具作用是快速造数据，按照你想要的规则将造好的测试数据存入csv,方便postman，jmeter等工具做接口自动化 我们知道当我们做接口自动化的时候，制作入参的csv表格手动填写很麻烦，特别是当项目某个字段的规则变了以后，那么所有涉及到这个字段的正常和异常用例数据可能都…☆11May 18, 2019Updated 6 years ago
- Samples based on the Node.js messaging client for SAP Event Mesh (formerly Enterprise Messaging in SAP Cloud Platform).☆15Mar 7, 2025Updated last year
- Model-based testing in Python☆94Oct 16, 2022Updated 3 years ago
- 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.
- 测试--脚本管理平台☆31Apr 22, 2022Updated 3 years ago
- Developed as a by-product of the IBM 1620 Jr. project, the Cadetwriter is a general-purpose ASCII terminal. It can be connected via RS-2…☆60Apr 16, 2022Updated 3 years ago
- ☆11Sep 15, 2021Updated 4 years ago
- ☆22Feb 12, 2018Updated 8 years ago
- CAP plantuml demo☆16Jan 27, 2021Updated 5 years ago
- A Collection of tools to work with PlcOpen projects, mainly the XML project files☆12Aug 11, 2017Updated 8 years ago
- ☆14Aug 21, 2015Updated 10 years ago