Alternatives and similar repositories for IDLReasoner:

Users that are interested in IDLReasoner are comparing it to the libraries listed below

• isa-group / IDL
  IDL: Inter-parameter Dependency Language
  ☆17Updated 3 months ago
• isa-group / RESTest
  RESTest: Automated Black-Box Testing of RESTful Web APIs
  ☆216Updated last month
• WebFuzzing / EvoMaster
  The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise appl…
  ☆556Updated last week
• SeUniVr / RestTestGen
  A framework for automated black-box testing of RESTful APIs.
  ☆42Updated 11 months ago
• SeUniVr / restats
  A tool for REST API test coverage computation
  ☆20Updated last year
• WebFuzzing / EMB
  EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing
  ☆32Updated last week
• GIST-NJU / RestCT
  Combinatorial Testing of RESTful APIs
  ☆20Updated last month
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆117Updated 7 months ago
• usnistgov / combinatorial-testing-tools
  Tools for combinatorial testing developed by the NIST ACTS project
  ☆67Updated 5 years ago
• kaliaanup / Mono2Micro-FSE-2021
  This folder container replication materials for the paper accepted
  ☆11Updated 3 years ago
• Cornutum / tcases
  A model-based test case generator
  ☆226Updated this week
• TestingResearchIllinois / starts
  STARTS - A tool for STAtic Regression Test Selection
  ☆29Updated 8 months ago
• TESTARtool / TESTAR_dev
  TESTAR, automated testing through the Graphical User Interface
  ☆40Updated this week
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆11Updated last year
• codingsoo / REST_Go
  ☆26Updated 3 months ago
• opendata-for-all / wapiml
  An OpenAPI round-trip tool that leverages model-driven techniques to create, visualize, manage, and generate OpenAPI definitions.
  ☆69Updated 3 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• albertogoffi / toradocu
  Toradocu - automated generation of test oracles from Javadoc documentation
  ☆42Updated last year
• gmu-swe / deflaker
  ☆36Updated 3 years ago
• dakusui / jcunit
  A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.
  ☆82Updated 3 weeks ago
• STAMP-project / pitmp-maven-plugin
  Maven plugin to handle multi module projects for PiTest
  ☆47Updated last year
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated last week
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆32Updated 2 years ago
• ServiceCutter / ServiceCutter
  A Structured Way to Service Decomposition
  ☆77Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• ASSERT-KTH / yajta
  Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…
  ☆15Updated 2 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆116Updated 5 years ago
• jeffoffutt / muJava
  Mutation system for Java programs, including OO mutation operators.
  ☆66Updated 6 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆210Updated this week
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆78Updated 7 months ago