Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
Start Free
Stop vibe-debugging.
Plug Claude into your app's actual errors.
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.
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques:
1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
2. Extended Static Checking (ESC). Using ESC/Java2.
3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
Code Conjurer is a tool which seamlessly integrates into the Eclipse Java development environment and uses the merobase code search engine to recommend software components for reuse. Update site: http://codeconjurer.sourceforge.net/eclipse-update
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Atomic34 allows you to leverage the Selenium Testing framework for testing your site using a SiteDefinition DSL to generate objects representing your site. The generated code can then be used to write tests using strongly typed objects.
BingoCardMaker automates the process of generating random bingo cards from a set of images. The cards are highly customizable; you can change their size, title, colours, output format, and filenames -- all through a user-friendly interface.
DUnit automates unit testing of Delphicode. The target audience for DUnit is developers who are both writing the code to be tested and the unit tests for that code, an approach advocated by Extreme Programming. Dunit is is a Delphi port of JUnit.
Justus is a tool set for Progress 4GL (ABL) Developers. It includes a simplified parser for 4GL, an API to load Profiler data and a Test Coverage Tool.
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
ClassMock is a tool for creating tests for components based on reflection and metadata in Java. It generate classes in runtime with the desired structure to be used in tests.
Its an Eclipse 3.5 Plugin.
It can be used to find linear paths for unit testing of any method.
The linear path covers all the child methods and till leaf level of the hierarchy.
The packages which should be covered in the path can be controlled.
Mailster is a project aimed at testing software mail capabilities. It provides a mail server container to test emails sent by your apps without rewriting your application code.
A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration
A framework that compares performance of different pieces of code. Available in four languages: c#.net (SharpKinoko), java (JKinoko), c (CKinoko) and c++ (CppKinoko)
Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.
C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.
Logprocessor is a tool for analyzing log files in a rigorous and reliable way. You write a command file and the log file can be run though the tool resulting in pass/fail.
Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.
Testar is a tool that reduces testing time for large Java unit test suites. It runs on top of JUnit and automatically selects individual tests to execute based on changes made to your code since the previous tool invocation.
Reviewing memory allocation and data structures of an extant Sourceforge project unix-named "simupop". A new development version of the extant project is established and the ultimate goal is to "rev up" the old, hence the project name.
Patang is a framework for testing server-side code. Patang intends to simplify writing acceptance and unit integration tests for server-side code. It implements an in-container testing strategy, meaning that the tests are executed inside the container.