Showing 41 open source projects for "model based testing tool"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 1
    Anteater

    Anteater

    The Interactive Exernal Accessor Tool for develop, test and support.

    Anteater is a versatile interactive external accessor designed to enhance workflows in software development, testing, and support for various systems. Its primary objectives are to store environmental information and provide powerful functions for interacting with target systems that you are developing, testing, or maintaining. It uses primary and secondary interfaces to efficiently obtain necessary information and modify the application's state, streamlining complex processes. An...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Jailer

    Jailer

    Database Subsetter and Relational Data Browser

    Database Subsetting and Relational Data Browsing Tool. Navigate bidirectionally through the database by following foreign-key-based or user-defined relationships. Exports consistent, referentially intact row-sets from relational databases. Removes data w/o violating integrity. Generates topologically sorted SQL-DML, hierarchically structured XML. and DbUnit datasets.
    Leader badge
    Downloads: 110 This Week
    Last Update:
    See Project
  • 3
    Kieker

    Kieker

    Software Monitoring Framework

    Kieker is a framework for continuous monitoring and dynamic analysis of distributed software systems. Being designed for continuous operation, it induces only a low overhead. The TraceAnalysis tool allows to analyze and visualize trace information.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Zebrunner Community Edition

    Zebrunner Community Edition

    Test Automation Management Tool

    Zebrunner CE (Community Edition) is a Test Automation Management Tool for continuous testing and continuous deployment. It allows you to run various kinds of tests and gain successive levels of confidence in the code quality. Zebrunner CE is integrated by default with Carina open-source TestNG framework and uses Jenkins as a CI Tool. It is built on top of popular docker solutions and includes Postgres database, Zebrunner Reporting, Jenkins Master/Slaves Nodes, Selenium Hub, Mobile...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 5
    Requirements management tool designed to achieve full SDLC traceability for features, requirements, design, implementation and testing. UI for requirements derivation, version control, attributes etc. Upgrade path also available at https://sourceforge.net/projects/nimble
    Downloads: 12 This Week
    Last Update:
    See Project
  • 6
    Validation Manager
    Validation Manager is a tool to handle all the cumbersome paperwork of regulated environment validations. Including Validation Plans, protocols, executions and exceptions. Keeping everything in one place and best of all paperless. Source is hosted on Bitbucket: https://bitbucket.org/javydreamercsw/validation-manager
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7

    GUITAR - A GUI Testing Framework

    A model-based test automation framework for GUI applications

    This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Cobertura is a free Java tool that calculates the percentage of code accessed by tests. It can be used to identify which parts of your Java program are lacking test coverage. It is based on jcoverage.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 9
    ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start 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.
    Claim $300 Free
  • 10
    Squash TM

    Squash TM

    Squash TM is an open source tool for test repositories management.

    Squash TM is the test repository manager found in the open source Squash toolkit. It enables the management of requirements, test cases and campaigns execution in a multiproject context. Based on an ergonomic and intuitive interface, Squash is also "full web" making it an easy tool to deploy. Squash TM is the result of a new development in Java (OSGi, Spring 3, Spring MVC, Hibernate, JasperReport, Jquery). For bugs management, Squash TM interfaces natively with Mantis. Thanks to its...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    TestMax

    Frontend & Backend Automation Tool

    TestMax is integrated Software Testing framework which can be used to test distributed system by developing rapid test cases using XML configuration in front and backend that talks to each other within the test framework. This tool can be used for Database, webservice, API, Junit, TestNg and Frontend including performance test. The main advantage of this TestMax architecture is separating test data configuration from test case run time environment. It reduces the maintenance of test cases...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    Madcow 2.0

    Madcow 2.0

    Madcow 2.0 - Advanced Test Automation

    Madcow Version 2.0 is the premier test automation tool designed to make your life easier. Developers love it. Testers can actually use it. Madcow is a domain specific language which helps to make it easier to test web browser based applications. You don't need to be a programmer to use it! Testers can write and organise their test cases the way the want to. It runs in the JVM as it is built using Groovy, and utilises the respected Webdriver framework. Check it out today! Please...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    jmint

    jMINT - Java Mutation for Integration Testing

    jMINT is a integration fault injection tool which identifies data exchanges across classes and inject faults along those path. It is primarily based on the idea of program analysis and code mutation. The cross boundary data exchanges are identified by performing data flow analysis using java byte code analysis and transformation framework-soot. Mutant injection is also done via the soot framework. jMINT tool can be used to measure the effectiveness of integration test suites.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    T-Plan Robot - GUI Test Automation

    T-Plan Robot - GUI Test Automation

    Image based Test Automation tool (Java) - Test ANYthing, ANYwhere

    This is the open source project of the now greatly enhanced Enterprise solution which has professional support, is faster, smarter and has lots more functionality. T-Plan Robot (formerly VNCRobot), is the most flexible and universal black box automated testing tools on the market. This project is the former open source version, and is now superseded by T-Plan Robot Enterprise. Robot is platform independent (Java), and thus performs well in situations where other tools may fail. Robot...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    ESpin

    ESpin

    SPIN-based Eclipse Model Checking Plugin

    ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Automated UI Tester For ActionScript

    Automated UI Tester For ActionScript

    Functional Test Automation tool for pure AS 3.0 SWF and Flash Games

    Automated UI Tester for Adobe® ActionScript® is a pure ActionScript 3.0 SWF automation testing tool with the capability of recording user actions on an SWF file and playing them back with high fidelity. The API for this tool is provided with name “Genie” (Adobe internal code name for the tool). Some major features of this tool are • No instrumentation or application manipulation is required. • Automate pure ActionScript 3.0 SWF
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17
    Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This tool supports the implementation of Checklist using objective criteria to evaluate any characteristic. The Spider-CL was developed in the Software Quality context, but it can be used in any one.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Bromine is an open source QA tool that uses selenium RC as its testing engine. It provides project management, OS/browser specification, test-case creation as well as user management. Check out our screencasts
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    CUBRID QA project contains a test-automation tool and many kinds of test cases for CUBRID database.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Cobertura for J2ME is a test coverage analysis tool for the J2ME platform (CLDC1.1/MIDP2.0)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Fressia Project is an effort to develop an Open Source general framework for Testing Automation. It's intended for users (testers) that want a simple tool which can be used just out of the box. It's does not requires any complicated configuration stuff
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    A commercially supported, open-source distribution of the popular web application test automation tool Selenium Remote Control. Built by the original author of the Selenium, Sauce RC is easy to install and has the latest fixes and browser support.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    ScaleUp is a monitoring tool, which produces report based on configured text files and keywords (such as exceptions). It is very useful to monitor log in production and testing environments.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    A Java-based system for doing Model-Based Testing. Nephila will use Finite State Machine based models to create language-independent tests.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
Auth0 Logo