CATG Alternatives

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

• jCUTE

  0 85 0.0 Java CATG VS jCUTE

  Java Concolic Unit Testing Engine

  

• Checker Framework

  12 985 9.7 Java CATG VS Checker Framework

  Pluggable type-checking for Java

  

• InfluxDB

  www.influxdata.com featured

  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.

  

• JMLOK 2.0

  0 4 0.0 Java CATG VS JMLOK 2.0

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

• Daikon

  1 202 7.8 C CATG VS Daikon

  Dynamic detection of likely invariants

  

• OpenJML

  1 132 9.0 Java CATG 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:

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives