sosy-lab / java-common-lib
SoSy-Lab Java Common Library
☆12Updated this week
Alternatives and similar repositories for java-common-lib:
Users that are interested in java-common-lib are comparing it to the libraries listed below
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- JavaSMT - Unified Java API for SMT solvers.☆224Updated this week
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Automation Framework (Java) using Selenium, TestNG☆10Updated last year
- This repo contains the code of the "zaakafhandel" component developed by Atos.☆9Updated 8 months ago
- EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing☆32Updated last week
- ☆11Updated 6 years ago
- SMTInterpol interpolating SMT solver☆66Updated last week
- Java beans to Swift Codable converter☆22Updated last month
- Example configurations for coverage analysis tools set up in Maven to support EvoSuite tests☆20Updated 7 years ago
- This project provides an spring boot Starter that facilitate common requirements of a rest server like filling MDC parameters , logging h…☆14Updated 2 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated 2 weeks ago
- A tool to help adapting code bases to NullAway type system.☆13Updated this week
- Java Mutation Testing Framework Written in Python☆20Updated 6 months ago
- JDolly is a Java program generator☆9Updated 7 years ago
- A child module for Orchard Scripting Extensions for running JavaScript code inside Orchard.☆1Updated 4 years ago
- Enables the extraction of Java AST nodes with plain JDT☆18Updated 7 years ago
- ☆8Updated 6 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆33Updated 2 years ago
- TornadoInsight: Unleashing the Power of TornadoVM in IntelliJ IDEA☆12Updated 2 weeks ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 5 months ago
- ☆71Updated 7 years ago
- Java scope functions inspired by Kotlin☆16Updated 3 months ago
- Aspectran is a lightweight framework for building high-performance Java applications.☆10Updated last week
- ☆14Updated 7 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆30Updated this week
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Contracts for Java☆22Updated 7 years ago
- Java Implementation of RegEx Pattern Reversing for backwards search using Java Pattern and a reversed character sequence of original text☆10Updated 2 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆19Updated 2 years ago