Level Up Your Cyber Defense with External Threat Management
See every risk before it hits. From exposed data to dark web chatter. All in one unified view.
Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
Try for Free
Get the most trusted enterprise browser
Advanced built-in security helps IT prevent breaches before they happen
Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
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
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification
Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads.
Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes.
Hermes comes with advanced reporting, analysis, debugging and enterprise level Java...
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.
Build gen AI apps with an all-in-one modern database: MongoDB Atlas
MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
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.
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.
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.
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.
Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.
Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
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.
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.
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)
Android Auto Tester utilizes Android's monkey runner and hierarchy viewer to automatically traverses the hierarchy of an Android application's GUI and simulates user inputs from the host side, without accessing the application's sourcecode.
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.
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.
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.
A VM containing a turn-key solution for continuous integration with sourcecode control, build management, automated testing, security analysis, defect tracking, and project management, all using open source tools.
FITpro is built upon the Framework for Integrated Test (Fit). It provides integration with Eclipse and MS VS, and web UI. FITpro advanced features include code generation, suite support, and test to fixture links. See project's Wiki for more informatio
Jarrut is a tool that makes developing and debugging Java ME applications (application using CLDC to be more specific) a bit less of a pain. Jarrut enables proper stack traces for exceptions, also when running a MIDlet on a real device
This project aims to create a testing environment for S7-PLC (programmable logic controller) software. It is based on the Eclipse platform and can test S7 instruction list code exported from the Siemens Step7 software.
Affected is a tool that will help software testers quickly identify what part of an application has been affected by latest code changes. Affected is best suited for small to medium sized applications.