isa-group / IDLReasoner
IDLReasoner: A MiniZinc-based Java library for analyzing IDL specifications
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for IDLReasoner
- RESTest: Automated Black-Box Testing of RESTful Web APIs☆208Updated last month
- The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise appl…☆524Updated this week
- EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing☆29Updated 2 weeks ago
- A framework for automated black-box testing of RESTful APIs.☆39Updated 7 months ago
- A model-based test case generator☆220Updated this week
- A tool for REST API test coverage computation☆19Updated 11 months ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆114Updated 3 months ago
- Clear and concise reporting for the Cucumber BDD JSON format.☆272Updated 2 weeks ago
- TESTAR, automated testing through the Graphical User Interface☆37Updated this week
- Combinatorial Testing of RESTful APIs☆19Updated last year
- Tools for combinatorial testing developed by the NIST ACTS project☆66Updated 5 years ago
- ☆11Updated last year
- Maven plugin to handle multi module projects for PiTest☆46Updated last year
- Allure integrations for Java test frameworks☆357Updated this week
- A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.☆80Updated last month
- BDD living documentation using Cucumber and Asciidoctor: https://goo.gl/Yp3NiU☆122Updated 7 months ago
- Quality Automation Framework for web, mobileweb, mobile native and rest web-service using Selenium, webdrier, TestNG and Java Jersey☆254Updated this week
- ☆23Updated 7 months ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆90Updated this week
- Extent Reporting Library, Java☆226Updated 4 months ago
- Eclipse plugin for Cucumber☆192Updated last month
- REST API Automation framework for functional, integration, fuzzing, and performance testing☆97Updated last year
- HTML reports for Cucumber☆548Updated this week
- A skeleton project for Serenity BDD and Cucumber JVM☆179Updated 2 weeks ago
- Simple JMeter performance tests API☆477Updated last month
- DepClean automatically detects and removes unused dependencies in Maven projects (https://dx.doi.org/10.1007/s10664-020-09914-8)☆254Updated this week
- (Angular) Application / (REST) API / Swagger used to practice software testing.☆51Updated this week
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Updated 7 months ago
- Open source workshop teaching you the basics of WireMock☆118Updated last week