Save up to 91% with Spot VMs and get automatic sustained-use discounts. One free VM per month, plus $300 in credits.
Save on compute costs with Compute Engine. Reduce your batch jobs and workload bill 60-91% with Spot VMs. Compute Engine's committed use offers customers up to 70% savings through sustained use discounts. Plus, you get one free e2-micro VM monthly and $300 credit to start.
Try Compute Engine
Build on Google Cloud with $300 in Free Credit
New to Google Cloud? Get $300 in free credit to explore Compute Engine, BigQuery, Cloud Run, Vertex AI, and 150+ other products.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query exabytes in BigQuery, or build AI apps with Vertex AI and Gemini. Once your credits are used, keep building with 20+ products with free monthly usage, including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. Sign up to start building right away.
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)
This open source software benchmarks the queries per second of an Apache Lucene index. It is an Java implementation and uses MultiFieldQueryParser to form a query.
Stand alone Java application used simulate a memory leak in order to generate profile signatures. The application has the ability to generate system (CPU) load in order to observe profile signature changes.
Run everything from popular models with on-demand NVIDIA L4 GPUs to web apps without infrastructure management.
Run frontend and backend services, batch jobs, host LLMs, and queue processing workloads without the need to manage infrastructure. Cloud Run gives you on-demand GPU access for hosting LLMs and running real-time AI—with 5-second cold starts and automatic scale-to-zero so you only pay for actual usage. New customers get $300 in free credit to start.
VNC for use with the BrowserMob Selenium JavaScript Validator. This tool is made available for users of BrowserMob FREE Website Monitoring and Load Testing. The BrowserMob Local Validation Service can be downloaded from https://browsermob.com/tools.
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.
For starting / stopping, getting state, etc. of the VmWare guests. Translate Java calls into vmware shell commands, which are then executed through a locale shell or through a secure remote shell on to the VmWare server console.
Access Google’s most capable multimodal models. Train, test, and deploy AI with 200+ foundation models on one platform.
Vertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.
PLEASE NOTE - JAVAPATHFINDER HAS MOVED TO: http://babelfish.arc.nasa.gov/trac/jpf Java PathFinder is a system to verify executable Java bytecode programs.
TestPlan is an automated testing tool for testing interactive web systems. Tests are written in a specialized language suitable for less technical individuals.
A highly scalable network emulation tool which emulates dynamic, mobile ad-hoc wireless network topologies in real-time, featuring easy deployment and detailed network models. It was developed in the research project HIDENETS (http://www.hidenets.aau.dk)
QC4J is an automated, specification-based testing framework, based on QuickCheck for Haskell. It makes it easy to test referentially transparent code, by creating test data automatically through user-defined generators.
FakeSMTPServer is a solution for testing web-based products that require a "unique" email address. Instead of being a "real" smtp server, this server forwards all email to a single email address, or can output them to the console instead.
Sock4Log is a simple java xml serwer. Sock4Log will listen for client connections on the specified port number. It is created for retrieving xml log data from Flash Swf aplications which are using XmlSocketConnection.
FreshTrash is a Utility package for generate random test data. It can generate test data from the console or from a UI. At the start only from the console.
This is a Unit Test liked testing system for devices based on J2ME technology. By using Log, the content can be sent to the build-in kvmunit.Blog by HTTP/HTTPS which is widely supported by devices. Detail at http://kvmunit.sourceforge.com
Crosscheck is a JavaScript unit-testing framework capable of emulating multiple browser environments. For more information see: https://dev.thefrontside.net/crosscheck
Avignon is an acceptance test system that allows you to write executable tests in a language that you define. It uses XML to define the syntax of the language but, if you choose to extend the language, leaves the semantics of the tests up to you.
TestGen4J is an open-source, automaticJava test generator that creates standard JUnit test cases from Java class or source files. In addition to reducing manual testing, it provides a data driven test harness with an automatic failed test case utility.