This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.
ClassTeser is a simple Java testing tool. ClassTester significantly simplifies launch of lot of tests, as compared with JUnit framework.You just needs to select project's folder,and ClassTester finds all classes containing method main() and launch them!
Hanno is a model based test automation framework in Java for dynamic exploratory testing of web applications. It is built on Apache Commons SCXML and Watij.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Projects for Maven2 Plugins using Java 5 syntax of generics, and mvn-anno-mojo project for Mojo Annotations. Features like, Ant to Maven integraton, easy Mojo to POJO delegations, project renaming, multi artifacts per POM, Idea, Native migration.
FastAOP is an very high performant AOP (Aspect Oriented Programming) framework for java. The framework was initially
developped to support performance profiling and monitoring for large J2EE applications with nearly no runntime overhad.
Announcement: jp-mobile and fastAOP will go mobile, please visit jp-mobile (GWT based) website at: http://code.google.com/p/jp-mobile/
CoDeK - Java Concurrent Development frameworK is a very simple, open-source, academic java library aimed to help the development of Java multi-threading concurrent applications.
This distribution demonstrates two great open source projects working together. Eclipse 3.3.2 Europa Winter is the current release version of the Eclipse Software Development Kit. Apache Harmony 5.0M5 is the latest milestone build, and is pre-release sof
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.
An easy to extend, highly graphical, easy to use 2D robot simulator specialized for path planning algorithms. Can be used in testing various robotic algorithms, and already used for comparison of path planning algorithms like RRT, RRTConnect, PRM, RboT..
Jameleon is a data-driven automated testing tool that is easily extensible via plug-ins. Features of applications are automated in Java and tied together independently in XML, creating self-documenting automated test cases.
Pojo generator is a framework that will generate data for your domain model. This is very usefull when for instantce database isn't up yet, end you want to continue to develop the frontend of the application.
XmlIJUnit (XML Instant JUnit) is a testing framework for instant creation of value-based JUnit tests. It is primarily aimed at refactoring needs. Technology-wise, it is based on XML, XMLUnit and XStream.
Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
Greek Hellenic Open Source Team (G.H.O.S.T) was created to build Open Source projects for every genre. From software to documents. We have support for every language and of cource anyone (with any knowlegde) can give as a hand.
Simple, light-weight Java class (100% pure Java) for generating lorem ipsum placeholder text. Lorem ipsum text can be used to create sample data for design evaluation, test cases or performance tests in (Java) applications.
JUnitDoclet makes the process of testingsoftware easier by offering a convenient way to create, organize, and maintain JUnit tests. JUnitDoclet Eclipse Plugin leverages this tool thanks to Eclipse APIs and UI functionnalities.
Wise is a web application designed to call a generic web-service given the wsdl only. Wise parses the wsdl and generates a client with web interface to call the service and read the result. It's a test tool useful for both developers and QA testers.
Pest07 assists the structured creation of software test documentation. It can create test cases and group them into sequences. Then test sequences can be executed and documented. Finally the documentation can be exported to a well structured pdf file.
Join is a software integration/staging management system dedicated to complex and large scale projects. It allows you to manage your project artifacts, resources, environments configuration and orchestrate the build operations of your staging workflow.
LogCrawler is an ANT task for automatic testing of web applications. Using a HTTP crawler it visits all pages of a website and checks the server logfiles for errors. Use it as a "smoketest" with your CI system like CruiseControl.
Elvyx is a tool designed to monitor and profile the jdbc activity on java projects. This jdbc profiler has a server with a built-in db and a client to improve the experience.