jCUTE Alternatives

Similar projects and alternatives to jCUTE based on common topics and language

• CATG

  0 97 0.0 Java jCUTE VS CATG

  a concolic testing engine for Java

• JMLOK 2.0

  0 4 0.0 Java jCUTE VS JMLOK 2.0

  Tool for detecting and classifying nonconformances in Java/JML projects.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• Checker Framework

  11 976 9.7 Java jCUTE VS Checker Framework

  Pluggable type-checking for Java

  

• Daikon

  1 202 7.8 C jCUTE VS Daikon

  Dynamic detection of likely invariants

  

• OpenJML

  1 132 9.0 Java jCUTE VS OpenJML

  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.