Search Results for "model based testing tool" - Page 5
Sort By:
Showing 452 open source projects for "model based testing tool"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
1
PHP Jet Framework
Powerful PHP8 framework for real developers
🧰 Everything you need Completely unique MVC that will make your work much easier, flexible and powerful ORM, perfect forms, all ready for international environment, support for authentication and authorization including roles and rights, REST, AJAX, server-side UI generation and many more Last but not least, the whole system is modular and built on the principle of micro-applications - application modules. This will quite fundamentally improve your productivity, testing and... -
2
odaba
ODABA is an terminology-oriented database management system and develo
ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a... -
3
Zylthra
Zylthra: A PyQt6 app to generate synthetic datasets with DataLLM.
Welcome to Zylthra, a powerful Python-based desktop application built with PyQt6, designed to generate synthetic datasets using the DataLLM API from data.mostly.ai. This tool allows users to create custom datasets by defining columns, configuring generation parameters, and saving setups for reuse, all within a sleek, dark-themed interface. -
4
Easy Database Forms For All
Create Web Based Forms Quickly, With In-built DB, For All Your Teams
Please watch the video till 18m:00s / screenshots below for easy installation steps. This video is taken from my other project, with many similarities and some naming differences. After installation, login to the Administrator Page with : Username : root Password : change_this and look at the team1 database and the sample_table in it, from all aspects. You can now create your own tables/forms. Also, login into the team1 user page ( from homepage ) with : Username : team1... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
miniperf
Perfmon PMU Collecting tool
command line based tool to collect Perfmon Counting data from Hardware PMU C ounters on Intel x86 processors Supported Platforms <> Server - Intel 5th Gen Xeon Processor (Emerald Rapids) -> Core (Raptor Cove) - Intel 4th Gen Xeon Processor (Sapphire Rapids) -> Core (Golden Cove) -> CHA <> Client - Intel 14th Gen Client Processor (Meteorlake) -> P-CORE (Redwood Cove) -> E-CORE (Crestmont) - Intel 13th Gen Client Processor (Raptorlake) -> P-CORE (Raptor Cove) ->... -
6
Habfuzz
A command-line tool for data-driven fuzzy modelling
Input 1 - A training dataset (multiple observations) of up to four variables (predictors) against one (response variable) Input 2 - A test dataset (multiple observations) of the same four variables with unknown response variable Output - Calculation of the response variable for each test observation using fuzzy logic or fuzzy rule-based Bayesian algorithms HABFUZZ is a habitat model, which can be used in ecohydraulic modelling applications for the calculation of the instream habitat suitability in various discharge scenarios in a simulated river reach. It comes with no graphical user interface but it's a one-click tool. Just provide your input and let HABFUZZ provide you the output. ... -
7
RegexLab .NET
dev environment tool to write and test complex regular expressions
RegexLab .NET is a rich-featured development environment and laboratory tool for creating, writing and editing complex regular expressions . It targets the .NET Framework and .NET Core (.NET 6, .NET 8) Regex Engine. Compared to other regex tools and lots of online regex testers this allows to store your regular expressions in local files including sample inputs for testing it. Use this tool build your own regex library with usage demonstration and meta data. ... -
8
LAMP package in Complete Virtual Machine
A Quick LAMP/WAMP/MAMP/XAMPP Pkg for development, testing & production
This VM is created for 2 reasons: 1. Very little initial setup work required to Develop / Test / Deploy a Dynamic Web Application live, within minutes. 2. This system should keep running for Years, without requiring Updates / Breakages. If you are new to Virtual Machines, then please watch the Video below ( taken from my other sample PHP project called teamdocs. You may cleanup this Application from the htdocs home folder link & its corresponding database, after logging into mysql. The... -
9
Loggifier
A tool that inserts code into Java class files for logging
A tool that inserts code into Java class files for logging. Possible logging points are class initialization, method entry and exit, and local variable assignment. Logging is based on java.util.logging. -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
AI-Agent-Host
The AI Agent Host is a module-based development environment.
The AI Agent Host integrates several advanced technologies and offers a unique combination of features for the development of language model-driven applications. The AI Agent Host is a module-based environment designed to facilitate rapid experimentation and testing. It includes a docker-compose configuration with QuestDB, Grafana, Code-Server and Nginx. The AI Agent Host provides a seamless interface for managing and querying data, visualizing results, and coding in real-time. ... -
11
Matrix
Plugin style, non-invasive APM system developed by WeChat
Matrix is an APM (Application Performance Manage) used in Wechat to monitor, locate and analyse performance problems. It is a plugin style, non-invasive solution and is currently available on iOS, macOS and Android. The monitoring scope of the current tool includes: crash, lag, and out-of-memory, which includes the following two plugins, WCCrashBlockMonitorPlugin, which is based on KSCrash framework and features cutting-edge lag stack capture capabilities with crash capture, and... -
12
MinGW GCC For ARM
MinGW GCC cross development environment for ARM.
This is a Windows command line based cross development environment for ARM built from the latest stable release of GCC (currently 13.1.0). I recently built 12.2.0 incorrectly so I've deleted it. Also included is Gnu make along with the necessary MinGW dlls to make it all work. I build this tool chain, from time to time, to use for testing Flash Insight, a device programmer that is available on my website. -
13
MinGW GCC for Power PC
MinGW GCC cross development environment for Power PC.
This is a Windows command line based cross development environment for Power PC built from the latest stable release of GCC (currently 13.1.0). I built 12.2.0 incorrectly so I've deleted it. Also included is Gnu make along with the necessary MinGW dlls to make it all work. I build tool chains for other targets, from time to time, to use for testing Flash Insight, a device programmer that is available on my website. -
14
MinGW GCC For M68K
MinGW GCC cross development environment for M68K.
This is a Windows command line based cross development environment for the M68K/ColdFire family of processors built from the latest stable release of GCC (currently 13.1.0). I recently incorrectly built 12.2.0 so have deleted it. Also included is Gnu make along with the necessary MinGW dlls to make it all work. I build this tool chain, from time to time, to use for testing Flash Insight, a device programmer that is available on my website. -
15
Remix IDE
Browser-based compiler and IDE
Remix IDE is an open source web and desktop application. It fosters a fast development cycle and has a rich set of plugins with intuitive GUIs. Remix is used for the entire journey of contract development as well as act as a playground for learning and teaching Ethereum. Remix IDE is part of the Remix Project which is a platform for development tools that use a plugin architecture. It encompasses sub-projects including Remix Plugin Engine, Remix Libs, and of course Remix-IDE. Remix IDE is a... -
16
Work Case Toolkit 0.4 beta 1
Support variant based Java program execution, adapted to support MDE.
Work Case Toolkit is a tool that provides variant based program's execution. Our main goal is to define an API that we can use embedded into any Java application to support dynamic execution based on variant flows. The variants are controlled by a graph decision using features diagrams relationships. The project was originally planned in 2005 to support Model Driven Architecture OMG approach, focusing specially on the management of architectural changes and models transformers. ... -
17
Higher Order Kind
A modern proof language
A Kubernetes-based tool for creating local clusters, ideal for testing and CI/CD. -
18
Synth
The Declarative Data Generator
Synth is an open-source data-as-code tool that provides a simple CLI workflow for generating consistent data in a scalable way. Use Synth to generate correct, anonymized data that looks and quacks like production. Generate test data fixtures for your development, testing, and continuous integration. Generate data that tells the story you want to tell. Specify constraints, relations, and all your semantics. -
19
FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...
-
20
Official YOLOv7
YOLOv7: Trainable bag-of-freebies sets new state-of-the-art
YOLOv7 is the official implementation of the paper “YOLOv7: Trainable bag-of-freebies sets new state-of-the-art for real-time object detectors.” It is a PyTorch-based object detection project focused on high speed and strong accuracy for real-time computer vision. The repository provides model definitions, training scripts, testing tools, inference examples, pretrained weights, and deployment-oriented materials. YOLOv7 introduced training-time improvements that raise accuracy without increasing inference cost, which is why the project became important in real-time detection research. ... -
21
YOLOV4 Pytorch
This is a source code for YoloV4-pytorch that can be used to train you
YOLOV4 Pytorch is a PyTorch implementation of the YOLOv4 object detection model for training and running custom detection systems. The repository is structured around practical workflows, including training, prediction, evaluation, anchor generation, model configuration, and dataset annotation utilities. It supports VOC-style datasets and includes scripts for prediction, mAP evaluation, FPS testing, video prediction, batch prediction, and heatmap generation. -
22
DBFeeder
Highly Customizable Test Data Generator
DBFeeder is a great tool to generate synthetic testdata for Oracle Databases and it is ideal for companies who wants to outsource development. Thanks to his original approach, data can be highly customizable and it even fits primary and foreign keys constraints of tables. -
23
Real-ESRGAN ncnn Vulkan
NCNN implementation of Real-ESRGAN
Real-ESRGAN ncnn Vulkan is an optimized, cross-platform implementation of Real-ESRGAN using the ncnn neural network inference engine and Vulkan for hardware acceleration. Unlike the standard PyTorch-based Real-ESRGAN code, this variant is written in C/C++ and designed to run efficiently on many platforms (including Windows, Linux, and possibly Android) without requiring heavy frameworks like CUDA or Python. It provides command-line tools for upscaling images with selected models, allowing... -
24
CCG
CCG (Crud Class Generator) is a ORM tool for .Net
The Crud Class Generator tool was developed for .Net to generate the class, which is an object model of a database table. Thanks to these created classes, many CRUD operations can be performed without writing a SQL query. *CCG is easy to use, because; it is developer-friendly *CCG is practical, because; it allows to make many crud processes without writing SQL query *CCG is fast because; The object size is very small and allowing multiple simultaneous operations to be performed by going... -
25
Faster-Rcnn
This is a pytorch implementation library of faster-rcnn
...The project also includes learning rate scheduling through step and cosine methods, optimizer choices between Adam and SGD, adaptive learning rate behavior based on batch size, image cropping, FPS testing, video prediction, and batch prediction. It is a practical reference for users who want a more classical two-stage detector workflow in PyTorch.
