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
MongoDB 8.0 on Atlas | Run anywhere
Now available in even more cloud regions across AWS, Azure, and Google Cloud.
MongoDB 8.0 brings enhanced performance and flexibility to Atlas—with expanded availability across 125+ regions globally. Build modern apps anywhere your users are, with the power of a modern database behind you.
CubicTest is a visual tool for writing Selenium and Watir tests. It makes tests faster and easier to write, and provides abstractions to make tests more robust and reusable. Go to www.CubicTest.org for more information. The SVN is moved to www.OpenQA.org
Alster is a unit testing framework for XSLT files written in XSLT itself (but with a dependency on Nalax, an XSLT extension package for Apache Xalan-J).
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
Trusted by nearly 20,000 customers worldwide, and all major cloud providers.
OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.
Verification framework for BPEL4WS processes using model checkers like Spin and NuSMV. It takes input BPEL4WS processes and generates output models that can work as input for these model checkers.
Buildap is a Visual Component Based Development framework. It is available as standalone tool as well as Netbeans and Eclipse plugins. SVG viewer/editor and Diagram Editor are also available. See Buildap powered project at http://e-records.buildap.com/.
Framework for doing unit tests (JUnit, DUnit currently) in heterogeneous and distributed environments. The framework provides methods to test a client/server communication since unit tests are executed and synchronized across multiple nodes on a network.
Get Avast Free Antivirus | Your top-rated shield against malware and online scams
Boost your PC's defense against cyberthreats and web-based scams.
Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
A project to develop Java-based front-ends to the utPLSQL testing framework. This includes integration with JUnit, Ant and Cruise Control. We are working to release code soon (written September 2004).
Fasper is a framework for parser verification, developed using java and antlr. Fasper uses a "golden model" based testing approach and can be integrated with JUnit. Any parser can be verified by using a plugin.
For more details about the donors you should visit: www.amiq.com/consulting or www.amiq.com/consulting/blog
Java regression and stress testing automationframework focused on easy use, strong data reutilization, JUnit integration and statistics harvesting. Both tests and data can be written in pure XML.
This project provides a full set of Interfaces and Classes that naturally brings the developer to follow the "Gang of Four" Design Patterns while producing software
A Javaframework for building component architectures that makes use of reflection, metadata and byte code manipulation to push the limits of automation in place of configuration and code generation.
Open For Government is an open source enterprise automationframework. By open source enterprise automation we mean: Open Source ERP, Open Source CRM, Open Source E-Business / E-Commerce, Open Source SCM, Open Source MRP, Open Source CMMS/EAM, etc.
The repository: https://github.com/zebrunner/carina-cucumber
Carina-Cucumber is an independent Carina module that supports Behaviour-Driven Development (BDD) (TestNG + Cucumber).
Documentation and free support
Cucumber usage example: https://github.com/zebrunner/carina-demo/tree/master/src/test/resources/features
User guide: http://zebrunner.github.io/carina
Demo project: https://github.com/zebrunner/carina-demo
Code formatter
We offer to use our configured Java code formatter...